Torsten Schaub Stefan Brüning Pascal Nicolas XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description. 293-297 1996 conf/cade/1996 CADE db/conf/cade/cade96.html#SchaubBN96 http://dx.doi.org/10.1007/3-540-61511-3_93