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