Logic Programming and Knowledge Representation: Third International ...
Luis Moniz Pereira & Teodor C. Przymusinski