Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou. Computing Default Logic Extensions: An Implementation. In AAAI/IAAI, Vol. 1. pages 1381, 1996.
@inproceedings{CourtneyFA96, title = {Computing Default Logic Extensions: An Implementation}, author = {Allen P. Courtney and Norman Y. Foo and Grigoris Antoniou}, year = {1996}, tags = {logic}, researchr = {https://researchr.org/publication/CourtneyFA96}, cites = {0}, citedby = {0}, pages = {1381}, booktitle = {AAAI/IAAI, Vol. 1}, }