V. Wiktor Marek, Miroslaw Truszczynski. Normal Form Results for Default Logic. In Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt, editors, Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Volume 659 of Lecture Notes in Computer Science, pages 270-283, Springer, 1991.
@inproceedings{MarekT91,
title = {Normal Form Results for Default Logic},
author = {V. Wiktor Marek and Miroslaw Truszczynski},
year = {1991},
tags = {logic},
researchr = {https://researchr.org/publication/MarekT91},
cites = {0},
citedby = {0},
pages = {270-283},
booktitle = {Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings},
editor = {Gerhard Brewka and Klaus P. Jantke and Peter H. Schmitt},
volume = {659},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56433-0},
}