Konstantinos Georgatos. Reasoning about Knowledge on Computation Trees. In Craig MacNish, David Pearce, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 94, York, UK, September 5-8, 1994, Proceedings. Volume 838 of Lecture Notes in Computer Science, pages 300-315, Springer, 1994.
Abstract is missing.