Paramodulation with built-in abelian groups | Publicación