Selected references H. Allen Curtis. A generalized tree circuit. Journal of the ACM, 8(4):484-496, October 1961. H. Allen Curtis. A functional canonical form. Journal of the ACM, 6(2):245-258, April 1959.