Kelley96'

BibTeX

@inproceedings{DBLP:conf/kr/Kelley96,
  author    = {Todd G. Kelley},
  title     = {Modeling Complex Systems in the Situation Calculus: A Case
               Study Using the Dagstuhl Steam Boiler Problem},
  booktitle = {KR},
  year      = {1996},
  pages     = {26-37},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}