Observable behaviors and equivalences of logic programs (1995)

by M Gabrielli, G Levi, M C Meo
Venue:Inf. Comput