Recursive boolean functions in (1991)

by F Andersen, K D Petersen