Patrick Blackburn, Claire Gardent, Maarten de Rijke. Back and Forth Through Time and Events. In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Temporal Logic, First International Conference, ICTL 94, Bonn, Germany, July 11-14, 1994, Proceedings. Volume 827 of Lecture Notes in Computer Science, pages 225-237, Springer, 1994.
@inproceedings{BlackburnGR94,
title = {Back and Forth Through Time and Events},
author = {Patrick Blackburn and Claire Gardent and Maarten de Rijke},
year = {1994},
researchr = {https://researchr.org/publication/BlackburnGR94},
cites = {0},
citedby = {0},
pages = {225-237},
booktitle = {Temporal Logic, First International Conference, ICTL 94, Bonn, Germany, July 11-14, 1994, Proceedings},
editor = {Dov M. Gabbay and Hans Jürgen Ohlbach},
volume = {827},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58241-X},
}