et al, ‘‘Fast Recursive Boolean Function (1982)

by R Brayton
Venue:Manipulation’’, International Symposium on Circuits and Systems, IEEE