Paramodulation with built-in Abelian groups (2000)

by G Godoy, R Nieuwenhuis
Venue:In: LICS, 15th IEEE Symposium on Logic in Computer Science, IEEE Computer