Keyword:paramodulation

Papers
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables Nikolai Kudasov EasyChair Preprint no. 8680
lazyCoP 0.1 Michael Rawson and Giles Reger EasyChair Preprint no. 3926
Leo-III Version 1.1 (System description) Christoph Benzmüller, Alexander Steen and Max Wisniewski In:IWIL Workshop and LPAR Short Presentations
Metis-based Paramodulation Tactic for HOL Light Michael Färber and Cezary Kaliszyk In:GCAI 2015. Global Conference on Artificial Intelligence