Gerhard Lakemeyer. On Perfect Introspection With Quantifying-in. In Yoram Moses, editor, Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992. pages 199-213, Morgan Kaufmann, 1992.
@inproceedings{Lakemeyer92:1, title = {On Perfect Introspection With Quantifying-in}, author = {Gerhard Lakemeyer}, year = {1992}, tags = {introspection}, researchr = {https://researchr.org/publication/Lakemeyer92%3A1}, cites = {0}, citedby = {0}, pages = {199-213}, booktitle = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992}, editor = {Yoram Moses}, publisher = {Morgan Kaufmann}, isbn = {1-55860-243-7}, }