"Basic Paramodulation and Decidable Theories (Extended Abstract)."

Robert Nieuwenhuis (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics