Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. On Superposition-Based Satisfiability Procedures and Their Combination. In Dang Van Hung, Martin Wirsing, editors, Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Volume 3722 of Lecture Notes in Computer Science, pages 594-608, Springer, 2005. [doi]
Abstract is missing.