##### A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic

by Martin Desharnais

AMS: Mathematical logic and foundations / General logic / Mechanization of proofs and logical operations

by Martin Desharnais

by Asta Halkjær From and Frederik Krogsdal Jacobsen

by Jasmin Christian Blanchette and Sophie Tourret

by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel

by Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann

by Alexander Birch Jensen, Anders Schlichtkrull and Jørgen Villadsen

by Jasmin Christian Blanchette and Andrei Popescu

by Tom Ridge