Inductive Boolean function manipulation (1994)

by Aarti Gupta