Paramodulation with Built-in AC-Theories and Symbolic Constraints | Publicación