@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"
}