Gerhard Lakemeyer. A Model of Decidable Introspective Reasoning with Quantifying-In. In IJCAI. pages 492-497, 1991.
@inproceedings{Lakemeyer91:0, title = {A Model of Decidable Introspective Reasoning with Quantifying-In}, author = {Gerhard Lakemeyer}, year = {1991}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Lakemeyer91%3A0}, cites = {0}, citedby = {0}, pages = {492-497}, booktitle = {IJCAI}, }