Best-first strategies for incremental transformations of logic programs (1992)

by Maurizio Proietti, Alberto Pettorossi
Venue:In Second International Workshop on Logic Program Synthesis and Transformation