Making Higher-Order Superposition Work.

Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret

Browse the full CADE paper archive.