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

Torsten Schaub, Stefan Brning, Pascal Nicolas

Browse the full CADE paper archive.