Computing Default Logic Extensions: An Implementation

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/aaai/CourtneyFA96, title={Computing Default Logic Extensions: An Implementation}, pages={1381}, year={1996}, booktitle={AAAI/IAAI, Vol. 2}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai96-2.html#CourtneyFA96}, author={Allen P. Courtney and Norman Y. Foo and Grigoris Antoniou} }\end{bibtex}