Vukmirović, Petar; Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Nummelin, Visa; Tourret, Sophie Making higher-order superposition work. (English) Zbl 1512.68432 J. Autom. Reasoning 66, No. 4, 541-564 (2022). MSC: 68V15 03B16 PDFBibTeX XMLCite \textit{P. Vukmirović} et al., J. Autom. Reasoning 66, No. 4, 541--564 (2022; Zbl 1512.68432) Full Text: DOI
Vukmirović, Petar; Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Nummelin, Visa; Tourret, Sophie Making higher-order superposition work. (English) Zbl 1512.68431 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 415-432 (2021). MSC: 68V15 03B16 PDFBibTeX XMLCite \textit{P. Vukmirović} et al., Lect. Notes Comput. Sci. 12699, 415--432 (2021; Zbl 1512.68431) Full Text: DOI