@InProceedings{WSB14,
    Author       = "Wisniewski, M. and Steen, A. and Benzm{\"u}ller, C.",
    Year         = "2014",
    Title        = "{The Leo-III Project}",
    Editor       = "Bolotov, A. and Kerber, M.",
    BookTitle    = "{Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen}",
    Place        = "Vienna, Austria",
    Pages        = "38",
    Comment      = ""
}