@inproceedings{ GuSouIJCAI07decidableSC,
  publisher = {}
}
,
  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)}
}
,
  author = {Yilan Gu and Mikhail Soutchanski}
}
,
  year = {2007}
}
,
  month = {January}
}
,
  editor = {}
}
,
  address = {Hyderabad,Andhra Pradesh, India}
}
,
  pages = {}
}