@InProceedings{BB+19,
    Author       = "Bartocci, E. and Beyer, D. and Black, P.E. and Fedyukovich, G. and Garavel, H.
                    and Hartmanns, A. and Huisman, M. and Kordon, F. and Nagele, J. and
                    Sighireanu, M. and Steffen, B. and Suda, M. and Sutcliffe, G. and Weber, T.
                    and Tamada, A.",
    Year         = "2019",
    Title        = "{TOOLympics 2019: An Overview of Competitions in Formal Methods}",
    Editor       = "Vojnar, T. and Zhang, L.",
    BookTitle    = "{Proceedings of the 2019 International Conference on Tools and Algorithms
                    for the Construction and Analysis of Systems}",
    Place        = "Prague, Czech Republic",
    Series       = "Lecture Notes in Computer Science",
    Number       = "11429",
    Pages        = "3-24",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}

@InProceedings{BB+19-CADE,
    Author       = "Bentkamp, A. and Blanchette, J. and Tourret, S. and
                    Vukmirovi{\'c}, P. and Waldmann, U.",
    Year         = "2019",
    Title        = "{Superposition with Lambdas}",
    Editor       = "Fontaine, P.",
    BookTitle    = "{Proceedings of the 27th International Conference on Automated Deduction}",
    Place        = "Natal, Brazil",
    Series       = "Lecture Notes in Computer Science",
    Number       = "11716",
    Pages        = "55-73",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}