Making Higher-Order Superposition Work.

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

Published in: J. Autom. Reason. (2022)

Keyphrases