@inproceedings{7fd10c2e5897429a95955d1ca54d8fd3,
title = "A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning",
keywords = "autoepistemic logic, automated theorem-proving, default logic, autoepistemic logic, automated theorem-proving, default logic, autoepistemic logic, automated theorem-proving, default logic",
author = "I. Niemel{\"a}",
year = "1994",
language = "English",
pages = "473--484",
editor = "J. Doyle and E. Sandewall and P. Torasso",
booktitle = "The Fourth International Conference Principles of Knowledge Representation and Reasoning, Bonn, Germany, 24.-27.5.1994",
publisher = "Morgan Kaufmann Publishers",
address = "United States",
}