Observable behaviors and equivalences of logic programs (1995)

by M Gabbrielli, G Levi, M Meo
Venue:Information and Computation