Paramodulation with Built-In Abelian Groups (2000)

Cached

Download Links

by Guillem Godoy , Robert Nieuwenhuis
Venue:in `15th IEEE Symposium on Logic in Computer Science (LICS
Citations:6 - 4 self