@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}",
    Place        = "Tallinn, Estonia",
    Comment      = "TPTPRef"
}