Joseph Y. Halpern, Moshe Y. Vardi. The Complexity of Reasoning about Knowledge and Time: Extended Abstract. In Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing, 28-30 May 1986, Berkeley, California, USA. pages 304-315, ACM, 1986.
@inproceedings{HalpernV86,
title = {The Complexity of Reasoning about Knowledge and Time: Extended Abstract},
author = {Joseph Y. Halpern and Moshe Y. Vardi},
year = {1986},
researchr = {https://researchr.org/publication/HalpernV86},
cites = {0},
citedby = {0},
pages = {304-315},
booktitle = {Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing, 28-30 May 1986, Berkeley, California, USA},
publisher = {ACM},
}