Guido Sciavicco José M. Juárez Manuel Campos Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. 158-167 2009 IWINAC (2) http://dx.doi.org/10.1007/978-3-642-02267-8_18 conf/iwinac/2009-2 db/conf/iwinac/iwinac2009-2.html#SciaviccoJC09