@InProceedings{Hil03,
    Author       = "Hillenbrand, T.",
    Year         = "2003",
    Title        = "{Citius altius fortius: Lessons Learned from the Theorem
                    Prover Waldmeister}",
    Editor       = "Dahn, I. and Vigneron, L.",
    BookTitle    = "{Proceedings of the 4th International Workshop on
                    First-Order Theorem Proving}",
    Place        = "Valencia, Spain",
    Series       = "Electronic Notes in Theoretical Computer Science",
    Number       = "86.1",
    Pages        = "1-13",
    Comment      = ""
}