@phdthesis{25a8c2c2c2374851985495fcdece68b5,
title = "Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning",
keywords = "autoepistemic logic, automated theorem proving, computational complexity, nonmonotonic reasoning, autoepistemic logic, automated theorem proving, computational complexity, nonmonotonic reasoning, autoepistemic logic, automated theorem proving, computational complexity, nonmonotonic reasoning",
author = "Ilkka Niemel{\"a}",
year = "1993",
language = "English",
isbn = "951-22-1689-2",
series = "Digital Systems Laboratory, Series A: Research Reports",
publisher = "Helsinki University of Technology",
number = "24",
address = "Finland",
}