Making Higher-Order Superposition Work

von Vukmirović, Petar
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

The Imandra Automated Reasoning System (System Description)

von Passmore, Grant
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)