RESIDUE - A Deductive Approach to Design Synthesis (1985)

by J J Finger, Michael R Genesereth