Soundness and Completeness of an "Efficient" Negation for Prolog.

Juan Jos Moreno-Navarro, Susana Muoz-Hernndez

Browse the full JELIA paper archive.