http://membres-lig.imag.fr/peltier/
This is an unofficial reimagining of the Archive of Formal Proofs
A Variant of the Superposition Calculusby Nicolas Peltier
Propositional Resolution and Prime Implicates Generationby Nicolas Peltier