"XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System ..."

Torsten Schaub, Stefan Brüning, Pascal Nicolas (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics