Static analysis for the synthesis of eureka properties for transforming logic programs (1992)

by K Bsaies
Venue:In Proceedings 4th UK Conference 82 Alberto Pettorossi and Maurizio Proietti on Logic Programming, ALPUK '92, Workshops in Computing