Maurizio Gabbrielli Giorgio Levi Maria Chiara Meo Observational Equivalences for Logic Programs. 131-145 1992 JICSLP db/conf/iclp/iclp92.html#GabbrielliLM92