Basic Paramodulation and Decidable Theories (Extended Abstract) (1996)

Cached

Download Links

by Robert Nieuwenhuis
Venue:in `Proceedings 11th IEEE Symposium on Logic in Computer Science, LICS'96', IEEE Computer
Citations:6 - 0 self