Efficient negation using abstract interpretation (2001)

by S Muñoz, J J Moreno-Navarro, M Hermenegildo
Venue:In Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI