Observational Equivalences for Logic Programs.

Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Browse the full ICLP paper archive.