Mehmet A. Orgun, Wanli Ma. An Overview of Temporal and Modal Logic Programming. 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 445-479, Springer, 1994.
@inproceedings{OrgunM94,
title = {An Overview of Temporal and Modal Logic Programming},
author = {Mehmet A. Orgun and Wanli Ma},
year = {1994},
tags = {modal logic, logic programming, programming, logic},
researchr = {https://researchr.org/publication/OrgunM94},
cites = {0},
citedby = {0},
pages = {445-479},
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},
}