A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties.

Khaled Bsaïes A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties. 108-115 1992 conf/pepm/1992 PEPM db/conf/pepm/pepm92.html#Bsaies92