Synthesis of eureka predicates for developing logic programs (1990)

by M Proietti, A Pettorossi
Venue:in Proceedings of ESOP '90 (Copenhagen), Lecture Notes in Computer Science 432