Paolo Terenziani Luca Anselma Alessio Bottrighi Laura Giordano Stefania Montani Automatic Checking of the Correctness of Clinical Guidelines in GLARE. 807-811 2007 MedInfo http://dx.doi.org/10.3233/978-1-58603-774-1-807 conf/medinfo/2007 db/conf/medinfo/medinfo2007.html#TerenzianiABGM07