Lakemeyer. "A Model of Decidable Introspective Reasoning with Quantifying-in." International Joint Conference on Artificial Intelligence, 1991.
Markdown
[Lakemeyer. "A Model of Decidable Introspective Reasoning with Quantifying-in." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/lakemeyer1991ijcai-model/)
BibTeX
@inproceedings{lakemeyer1991ijcai-model,
title = {{A Model of Decidable Introspective Reasoning with Quantifying-in}},
author = {Lakemeyer, Gerhard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1991},
pages = {492-497},
url = {https://mlanthology.org/ijcai/1991/lakemeyer1991ijcai-model/}
}