@InProceedings{VN20,
    Author       = "Vukmirovi{\'c}, P. and Nummelin, V.",
    Year         = "2020",
    Title        = "{Boolean Reasoning in a Higher-Order Superposition Prover}",
    Editor       = "Fontaine, P. and R{\"u}mmer, P. and Tourret, S.",
    BookTitle    = "{Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning}",
    Place        = "Online",
    Series       = "CEUR Workshop Proceedings",
    Number       = "2752",
    Pages        = "148-166",
    Comment      = ""
}