@inproceedings{DBLP:conf/medinfo/TerenzianiABGM07,
  author    = {Paolo Terenziani and
               Luca Anselma and
               Alessio Bottrighi and
               Laura Giordano and
               Stefania Montani},
  title     = {Automatic Checking of the Correctness of Clinical Guidelines
               in GLARE},
  booktitle = {MedInfo},
  year      = {2007},
  pages     = {807-811},
  ee        = {http://dx.doi.org/10.3233/978-1-58603-774-1-807},
  crossref  = {DBLP:conf/medinfo/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/medinfo/2007,
  editor    = {Klaus A. Kuhn and
               James R. Warren and
               Tze-Yun Leong},
  title     = {MEDINFO 2007 - Proceedings of the 12th World Congress on
               Health (Medical) Informatics - Building Sustainable Health
               Systems, 20-24 August, 2007, Brisbane, Australia},
  booktitle = {MedInfo},
  publisher = {IOS Press},
  series    = {Studies in Health Technology and Informatics},
  volume    = {129},
  year      = {2007},
  isbn      = {978-1-58603-774-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}