@InProceedings{VBN20,
    Author       = "Vukmirovi{\'c}, P. and Bentkamp, A. and Nummelin, V.",
    Year         = "2020",
    Title        = "{Efficient Full Higher-order Unification}",
    Editor       = "Ariola, Z.M.",
    BookTitle    = "{Proceedings of the 5th International Conference on Formal
                    Structures for Computation and Deduction}",
    Place        = "Online",
    Series       = "Leibniz International Proceedings in Informatics",
    Number       = "167",
    Pages        = "5:1-5:20",
    Publisher    = "Dagstuhl Publishing",
    Comment      = "TPTPRef"
}