@inproceedings{ Reiter98,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps}
}
,
  title = {Sequential, Temporal GOLOG}
}
,
  url = {reiterkr98.pdf}
}
,
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)}
}
,
  author = {Reiter, Ray}
}
,
  year = {1998}
}
,
  keywords = {Golog}
}
,
  key = {CogRobo}
}
,
  address = {Trento, Italy}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.pdf}
}
,
  pages = {547--556}
}