Paper  bibtex   

@InProceedings{Reiter98,
  Title                    = {Sequential, Temporal GOLOG},
  Author                   = {Reiter, Ray},
  Booktitle                = {Principles of Knowledge Representation and Reasoning:
 Proceedings of the Sixth International Conference
 (KR'98)},
  Year                     = {1998},

  Address                  = {Trento, Italy},
  Pages                    = {547--556},

  File                     = {reiterkr98.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.pdf:PDF;reiterkr98.ps:http\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps:PostScript},
  Key                      = {CogRobo},
  Keywords                 = {Golog},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {reiterkr98.pdf}
}