What You Always Wanted to Know About Rigid E-Unification (1996)

Cached

Download Links

by Anatoli Degtyarev , Andrei Voronkov
Venue:Journal of Automated Reasoning
Citations:20 - 7 self