@InProceedings{SWZ15,
    Author       = "Sternagel, T. and Winkler, S. and Zankl, H.",
    Year         = "2015",
    Title        = "{Recording Completion for Certificates in Equational
                    Reasoning}",
    Editor       = "Walker, D.",
    BookTitle    = "{Proceedings of the 2015 Conference on Certified Programs
                    and Proofs}",
    Place        = "Mumbai, India",
    Pages        = "41-47",
    Publisher    = "ACM Press",
    Comment      = ""
}