Keyword:paramodulation

Publications
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables Nikolai Kudasov EasyChair Preprint 8680
lazyCoP 0.1 Michael Rawson and Giles Reger EasyChair Preprint 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