An integration of deductive retrieval into deductive synthesis (1999)

by B Fischer, J Whittle
Venue:In Automated Software Engineering