Strongly equivalent logic programs (2001)

by V LIFSCHITZ, D PEARCE, A VALVERDE
Venue:ACM Transaction on Computational Logic