@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        = "To appear",
    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"
}