Combination Techniques for Non-Disjoint Equational Theories (1994)

Cached

Download Links

by Eric Domenjoud , Francis Klay , Christophe Ringeissen
Venue:Proceedings 12th International Conference on Automated Deduction
Citations:25 - 5 self