Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret. Making Higher-Order Superposition Work. Journal of Automated Reasoning, 66(4):541-564, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.