Skip to content

Synthesis of Eureka Predicates for Developing Logic Programs.

Maurizio Proietti, Alberto Pettorossi

VenueAESOP
Year1990
ProceedingsESOP

Browse the full ESOP paper archive.