Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider. New Proofs in Default Logic Theory. Annals of Mathematics and Artificial Intelligence, 12(3-4):215-229, 1994.
@article{AntoniouLS94,
title = {New Proofs in Default Logic Theory},
author = {Grigoris Antoniou and Elmar Langetepe and Volker Sperschneider},
year = {1994},
tags = {logic},
researchr = {https://researchr.org/publication/AntoniouLS94},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {12},
number = {3-4},
pages = {215-229},
}