@inproceedings{43e10938393f4328a067a642d36c402e,
title = "Towards automatic autoepistemic reasoning",
author = "Ilkka Niemel{\"a}",
year = "1991",
doi = "10.1007/BFb0018457",
language = "English",
isbn = "978-3-540-53686-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "428--443",
editor = "\{van Eijck\}, J.",
booktitle = "Logics in AI",
address = "Germany",
note = "European Workshop on Logics in Artificial Intelligence, JELIA ; Conference date: 10-09-1990 Through 14-09-1990",
}