Lakemeyer. "Tractable Meta-Reasoning in Propositional Logics of Belief." International Joint Conference on Artificial Intelligence, 1987.
Markdown
[Lakemeyer. "Tractable Meta-Reasoning in Propositional Logics of Belief." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/lakemeyer1987ijcai-tractable/)
BibTeX
@inproceedings{lakemeyer1987ijcai-tractable,
title = {{Tractable Meta-Reasoning in Propositional Logics of Belief}},
author = {Lakemeyer, Gerhard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1987},
pages = {401-408},
url = {https://mlanthology.org/ijcai/1987/lakemeyer1987ijcai-tractable/}
}