Automatic Correctness Proofs for Logic Program Transformations.

Alberto Pettorossi, Maurizio Proietti, Valerio Senni

Browse the full ICLP paper archive.