Efficient negation using abstract interpretation (0)

by S Muñoz, J J Moreno-Navarro, M Hermenegildo
Venue:Logic for Programming, Artificial Intelligence and Reasoning, number 2250 in LNAI, pages 485–494, La Habana