@inproceedings{Niemela88:ecai,
address = {M\"unchen},
author = {Ilkka Niemel{\"a}},
booktitle = {Proceedings of the 8th European Conference on Artificial Intelligence},
month = {August},
pages = {595--600},
publisher = {Pitman Publishing},
title = {Autoepistemic Predicate Logic},
year = {1988},
}