Paper  bibtex   

@inproceedings{ dblp3517195,
  title = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond},
  author = {Christian Fritz 0001 and Jorge A. Baier and Sheila A. McIlraith},
  author_short = {Fritz 0001, C. and Baier, J. A. and McIlraith, S. A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp3517195},
  id = {dblp3517195},
  biburl = {http://www.dblp.org/rec/bibtex/conf/kr/FritzBM08},
  url = {http://www.aaai.org/Library/KR/2008/kr08-059.php},
  conference = {KR},
  pages = {600-610},
  text = {KR 2008:600-610},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)}
}