Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification.

Andrei Voronkov

Browse the full CADE paper archive.