Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering by Martin Desharnais 📧 Oct 24
A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic by Martin Desharnais 📧 Apr 20