A Theorem-Prover for a Decidable Subset of Default Logic

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/aaai/BesnardQQ83, title={A Theorem-Prover for a Decidable Subset of Default Logic}, pages={27-30}, year={1983}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai83.html#BesnardQQ83}, author={Philippe Besnard and Rene Quiniou and Patrice Quinton} }\end{bibtex}