TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
A1  - Nicolas, Pascal
T1  - XRay : a prolog technology theorem prover for default reasoning: a system description
Y1  - 1996
SN  - 3-540-61511-3
ER  -