Computing Default Logic Extensions: An Implementation

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},
}