@InProceedings{HLB05, Author = "Hommersom, A. and Lucas, P. and van Bommel, P.", Year = "2005", Title = "{Automated Theorem Proving for Quality-checking Medical Guidelines}", Editor = "Sutcliffe, G. and Fischer, B. and Schulz, S.", BookTitle = "{Proceedings of the Workshop on Empirically Successful Classical Automated Reasoning, 20th International Conference on Automated Deduction}", Place = "Tallinn, Estonia", Comment = "TPTPRef" }