@inproceedings{ GuKiringaNMR06,
  publisher = {}
}
,
  title = {Model Checking Meets Theorem Proving: a Situation Calculus Based Approach }
}
,
  url = {YGu_nmr06_modelChecking.pdf}
}
,
  booktitle = {Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-06) at KR2006}
}
,
  author = {Yilan Gu and Iluju Kiringa}
}
,
  year = {2006}
}
,
  month = {June}
}
,
  editor = {}
}
,
  address = {Lake District of the UK}
}
,
  pages = {}
}