Residue: a deductive approach to design synthesis (1985)

by J J Finger, M R Genesereth