[Lakemeyer. "Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/lakemeyer1990aaai-decidable/)
@inproceedings{lakemeyer1990aaai-decidable,
title = {{Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection}},
author = {Lakemeyer, Gerhard},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1990},
pages = {531-537},
url = {https://mlanthology.org/aaai/1990/lakemeyer1990aaai-decidable/}
}