@Article{VB+21-STTT,
    Author       = "Vukmirovi{\'c}, P. and Blanchette, J. and Cruanes, S. and Schulz, S.",
    Year         = "2021",
    Title        = "{Extending a Brainiac Prover to Lambda-Free Higher-Order Logic}",
    Journal      = "International Journal on Software Tools for Technology Transfer",
    Volume       = "24",
    Pages        = "67-87",
    Comment      = ""
}

@InProceedings{VB+21,
    Author       = "Vukmirovi{\'c}, P. and Bentkamp, A. and Blanchette, J. and
                    Cruanes, S. and Nummelin, V. and Tourret, S.",
    Year         = "2021",
    Title        = "{Making Higher-order Superposition Work}",
    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        = "415-432",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}