Blanchette, Jasmin Automation of Logic, MPI for Informatics, Max Planck Society;
Tourret, Sophie Automation of Logic, MPI for Informatics, Max Planck Society;
Vukmirović2021_Chapter_MakingHigher-OrderSuperpositio.pdf (Verlagsversion), 343KB
Vukmirović, P., Bentkamp, A., Blanchette, J., Cruanes, S., Nummelin, V., & Tourret, S. (2021). Making Higher-Order Superposition Work. In A. Platzer, & G. Sutcliffe (Eds.), Automated Deduction - CADE 28 (pp. 415-432). Berlin: Springer. doi:10.1007/978-3-030-79876-5_24.
