Media type: E-Article Title: Logics in Artificial Intelligence: Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving Contributor: Hommersom, Arjen; Lucas, Peter; Balser, Michael imprint: Springer Berlin Heidelberg, 2004 Published in: Logics in Artificial Intelligence Language: Not determined DOI: 10.1007/978-3-540-30227-8_54 ISSN: 0302-9743; 1611-3349 Origination: Footnote: