Michael Gelfond, Halina Przymusinska. On consistency and completeness of autoepistemic theories. Fundamenta Informaticae, 16(1):59-92, 1992.
@article{GelfondP92,
title = {On consistency and completeness of autoepistemic theories},
author = {Michael Gelfond and Halina Przymusinska},
year = {1992},
tags = {completeness, consistency},
researchr = {https://researchr.org/publication/GelfondP92},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {16},
number = {1},
pages = {59-92},
}