Equivalences of logic programs (1988)

by M J Maher
Venue:In J. Minker (Ed.), Foundations of