@inproceedings{ GuSouSTAIRS06,
  publisher = {}
}
,
  title = {The Two-variable Situation Calculus}
}
,
  url = {YGu_stairs06_2vSC.pdf}
}
,
  booktitle = {Proceedings of the third European Starting AI Researcher Symposium (STAIRS-06) at ECAI06}
}
,
  author = {Yilan Gu and Mikhail Soutchanski}
}
,
  year = {2006}
}
,
  month = {August}
}
,
  editor = {}
}
,
  address = {Riva del Garda, Italy}
}
,
  pages = {}
}