A Logic Programming System for Non-monotonic Reasoning

Authors

José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira,