@InProceedings{GuKiringaNMR06,
  Title                    = {Model Checking Meets Theorem Proving: a Situation Calculus Based Approach },
  Author                   = {Yilan Gu and Iluju Kiringa},
  Booktitle                = {Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-06) at KR2006},
  Year                     = {2006},

  Address                  = {Lake District of the UK},
  Month                    = {June},

  Timestamp                = {2018.09.23},
  Url                      = {YGu_nmr06_modelChecking.pdf}
}

{"_id":{"_str":"5342b4530e946d920a003357"},"__v":4,"authorIDs":["54572bc52abc8e9f37000138","5457bbb02abc8e9f37000676"],"author_short":["Gu, Y.","Kiringa, I."],"bibbaseid":"gu-kiringa-modelcheckingmeetstheoremprovingasituationcalculusbasedapproach-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Model Checking Meets Theorem Proving: a Situation Calculus Based Approach ","author":[{"firstnames":["Yilan"],"propositions":[],"lastnames":["Gu"],"suffixes":[]},{"firstnames":["Iluju"],"propositions":[],"lastnames":["Kiringa"],"suffixes":[]}],"booktitle":"Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-06) at KR2006","year":"2006","address":"Lake District of the UK","month":"June","timestamp":"2018.09.23","url":"YGu_nmr06_modelChecking.pdf","bibtex":"@InProceedings{GuKiringaNMR06,\n Title = {Model Checking Meets Theorem Proving: a Situation Calculus Based Approach },\n Author = {Yilan Gu and Iluju Kiringa},\n Booktitle = {Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR-06) at KR2006},\n Year = {2006},\n\n Address = {Lake District of the UK},\n Month = {June},\n\n Timestamp = {2018.09.23},\n Url = {YGu_nmr06_modelChecking.pdf}\n}\n\n","author_short":["Gu, Y.","Kiringa, I."],"key":"GuKiringaNMR06","id":"GuKiringaNMR06","bibbaseid":"gu-kiringa-modelcheckingmeetstheoremprovingasituationcalculusbasedapproach-2006","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/YGu_nmr06_modelChecking.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["model","checking","meets","theorem","proving","situation","calculus","based","approach","gu","kiringa"],"title":"Model Checking Meets Theorem Proving: a Situation Calculus Based Approach ","year":2006,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}