Semantics Preserving Transformation Rules for Prolog.

Maurizio Proietti, Alberto Pettorossi

Browse the full PEPM paper archive.