AC-superposition with constraints: No AC-unifiers needed (1990)

Cached

Download Links

by Robert Nieuwenhuis , Albert Rubio
Venue:Proceedings 12th International Conference on Automated Deduction
Citations:29 - 5 self