Decidability and complexity analysis by basic paramodulation (1998)

by Robert Nieuwenhuis
Venue:Information and Computation