On Superposition-Based Satisfiability Procedures and Their Combination.

Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Browse the full ICTAC paper archive.