@inproceedings{d575ae2597af4ae1bcf5b64c4a90c88f,
title = "A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic",
keywords = "automated theorem proving, nonmonotonic logics, automated theorem proving, nonmonotonic logics, automated theorem proving, nonmonotonic logics",
author = "I. Niemel{\"a}",
year = "1993",
language = "English",
pages = "97--104",
booktitle = "AAAI Fall Symposium Series - Automated Deduction in Nonstandard Logics, Raleigh, NC, USA, 22.-24.10.1993",
publisher = "AAAI PRESS",
}