Efficient Negation Using Abstract Interpretation.

Susana Muoz-Hernndez, Juan Jos Moreno-Navarro, Manuel V. Hermenegildo

Browse the full LPAR paper archive.