Raymond Reiter. Sequential, Temporal GOLOG. In KR. pages 547-556, 1998.
@inproceedings{Reiter98,
title = {Sequential, Temporal GOLOG},
author = {Raymond Reiter},
year = {1998},
researchr = {https://researchr.org/publication/Reiter98},
cites = {0},
citedby = {0},
pages = {547-556},
booktitle = {KR},
}