Residue: A deductive approach to design synthesis (1985)

by J S Finger, M R Genesereth