@inproceedings{ fri-bai-mci-kr08,
  title = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond}
}
,
  url = {fri-bai-mci-kr08.pdf}
}
,
  booktitle = {Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning}
}
,
  author = {Christian Fritz and Jorge A. Baier and Sheila A. McIlraith}
}
,
  year = {2008}
}
,
  month = {September 16--19}
}
,
  note = {Technical Report CSRG-576, containing the proofs of the theorems and a more detailed description of the compilation, can be found <a href="ftp://ftp.cs.toronto.edu/csrg-technical-reports/576/fri-bai-mci-kr08-techreport.pdf">here</a>.}
}
,
  address = {Sydney, Australia}
}
,
  keywords = {Golog}
}
,
  pages = {600--610}
}