Synthesis of Eureka Predicates for Developing Logic Programs.

Maurizio Proietti Alberto Pettorossi Synthesis of Eureka Predicates for Developing Logic Programs. 306-325 1990 conf/esop/1990 ESOP db/conf/esop/esop90.html#ProiettiP90 http://dx.doi.org/10.1007/3-540-52592-0_71