On Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification (1996)

Cached

Download Links

by Andrei Voronkov
Venue:Automated Deduction --- CADE-13
Citations:17 - 9 self