Basic paramodulation and decidable theories (extended abstract (1996)

by Robert Nieuwenhuis
Venue:In Proceedings 11th IEEE Symposium on Logic in Computer Science, LICS’96