A Stepwise Refinement Proof that SCL(FOL) Simulates Ground Ordered Resolution.

Martin Bromberger, Martin Desharnais, Christoph Weidenbach

Browse the full CADE paper archive.