Proof-producing Congruence Closure (2005)

Cached

Download Links

by Robert Nieuwenhuis , Albert Oliveras
Venue:16th International Conference on Rewriting Techniques and Applications
Citations:30 - 2 self