Reference:
Ilkka Niemelä. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. Journal of Automated Reasoning, 14:3–42, 1995.
Suggested BibTeX entry:
@article{Niemela95:jar, author = {Ilkka Niemel{\"a}}, journal = {Journal of Automated Reasoning}, pages = {3--42}, title = {A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning}, volume = {14}, year = {1995}, }