@Article{BB+21-JAR,
    Author       = "Bentkamp, A. and Blanchette, J. and Tourret, S. and
                    Vukmirovi{\'c}, P. and Waldmann, U.",
    Year         = "2021",
    Title        = "{Superposition with Lambdas}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "65",
    Number       = "7",
    Pages        = "893–940",
    Comment      = ""
}

@Article{BB+21-LMC,
    Author       = "Bentkamp, A. and Blanchette, J. and Cruanes, S. and
                    Waldmann, U.",
    Year         = "2021",
    Title        = "{Superposition for Lambda-Free Higher-Order Logic}",
    Journal      = "Logical Methods in Computer Science",
    Volume       = "17",
    Number       = "2",
    Pages        = "Online",
    Comment      = ""
}

@InProceedings{BB+21,
    Author       = "Bentkamp, A. and Blanchette, J. and Tourret, S. and
                    Vukmirovi{\'c}, P.",
    Year         = "2021",
    Title        = "{Superposition for Full Higher-order Logic}",
    Editor       = "Platzer, A. and Sutcliffe, G.",
    BookTitle    = "{Proceedings of the 28th International Conference on Automated Deduction}",
    Place        = "Online",
    Series       = "Lecture Notes in Computer Science",
    Number       = "12699",
    Pages        = "396-412",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}