@inproceedings{ ClassenHuLakemeyer2007PDDL,
  publisher = {AAAI Press},
  title = {A Situation-Calculus Semantics for an Expressive Fragment of PDDL},
  url = {ClassenHuLakemeyer2007PDDL.pdf},
  booktitle = {Proceedings of the Twentysecond Conference on Artificial Intelligence (AAAI-07)},
  author = {Jens Classen and Yuxiao Hu and Gerhard Lakemeyer},
  note = {to appear},
  year = {2007}
}