Grigoris Antoniou, Elmar Langetepe. A Correct Logic Programming Computation of Default Logic Extensions. Journal of Automated Reasoning, 18(1):25-46, 1997.
@article{AntoniouL97,
title = {A Correct Logic Programming Computation of Default Logic Extensions},
author = {Grigoris Antoniou and Elmar Langetepe},
year = {1997},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/AntoniouL97},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {18},
number = {1},
pages = {25-46},
}