On the Completeness of Arbitrary Selection Strategies for Paramodulation | Publicación