@inproceedings{ Kelley96b,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps}
}
,
  title = {Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem}
}
,
  url = {dagstuhl.pdf}
}
,
  booktitle = {In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96)}
}
,
  author = {Kelley, T.}
}
,
  year = {1996}
}
,
  month = {November}
}
,
  key = {CogRobo}
}
,
  address = {Cambridge, Massachusetts, U.S.A}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.pdf}
}
,
  pages = {}
}