@inproceedings{ GuSouIJCAI07decidableSC,
  publisher = {},
  author = {Yilan Gu and Mikhail Soutchanski},
  title = {Decidable Reasoning in a Modified Situation Calculus},
  url = {YGu_ijcai07_deciableSC.pdf},
  booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07)},
  address = {Hyderabad,Andhra Pradesh, India},
  month = {January},
  editor = {},
  year = {2007},
  pages = {}
}