Basic paramodulation and decidable theories | Publicación