@inproceedings{ golog-dx99,
  title = {Model-Based Programming using Golog and the Situation Calculus}
}
,
  url = {dx99MBP.pdf}
}
,
  booktitle = {Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX'99)}
}
,
  author = {McIlraith, S.}
}
,
  year = {1999}
}
,
  month = {June 8-11}
}
,
  address = {Loch Awe Hotel, Scotland, UK}
}
,
  keywords = {Golog}
}
,
  pages = {184-192}
}