@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}
}