@Article{AIM08,
  author = 	 "P. Groot and A. Hommersom and P. Lucas and R.-J. Merk 
                 and A. ten Teije and F. van Harmelen and R. Serban",
  title = 	 "Using Model Checking for Critiquing based on Clinical Guidelines",
  journal =	 "AI in Medicine",
  year =	 2008,
  volume =       46,
  number =       1,
  pages =	 "19-36",
  keywords = {Medical Knowledge Representation},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIM08.pdf"
}

{"_id":"vR8hyeW8YaxweiKAH","bibbaseid":"groot-hommersom-lucas-merk-tenteije-vanharmelen-serban-usingmodelcheckingforcritiquingbasedonclinicalguidelines-2008","author_short":["Groot, P.","Hommersom, A.","Lucas, P.","Merk, R.","ten Teije, A.","van Harmelen, F.","Serban, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Groot"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Hommersom"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Lucas"],"suffixes":[]},{"firstnames":["R.-J."],"propositions":[],"lastnames":["Merk"],"suffixes":[]},{"firstnames":["A."],"propositions":["ten"],"lastnames":["Teije"],"suffixes":[]},{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Serban"],"suffixes":[]}],"title":"Using Model Checking for Critiquing based on Clinical Guidelines","journal":"AI in Medicine","year":"2008","volume":"46","number":"1","pages":"19-36","keywords":"Medical Knowledge Representation","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/AIM08.pdf","bibtex":"@Article{AIM08,\r\n author = \t \"P. Groot and A. Hommersom and P. Lucas and R.-J. Merk \r\n and A. ten Teije and F. van Harmelen and R. Serban\",\r\n title = \t \"Using Model Checking for Critiquing based on Clinical Guidelines\",\r\n journal =\t \"AI in Medicine\",\r\n year =\t 2008,\r\n volume = 46,\r\n number = 1,\r\n pages =\t \"19-36\",\r\n keywords = {Medical Knowledge Representation},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/AIM08.pdf\"\r\n}\r\n\r\n","author_short":["Groot, P.","Hommersom, A.","Lucas, P.","Merk, R.","ten Teije, A.","van Harmelen, F.","Serban, R."],"key":"AIM08","id":"AIM08","bibbaseid":"groot-hommersom-lucas-merk-tenteije-vanharmelen-serban-usingmodelcheckingforcritiquingbasedonclinicalguidelines-2008","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/AIM08.pdf"},"keyword":["Medical Knowledge Representation"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["medical knowledge representation"],"search_terms":["using","model","checking","critiquing","based","clinical","guidelines","groot","hommersom","lucas","merk","ten teije","van harmelen","serban"],"title":"Using Model Checking for Critiquing based on Clinical Guidelines","year":2008}