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

Andrei Voronkov Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid <i>E</i>-Unification. 205-231 1998 21 J. Autom. Reasoning 2 db/journals/jar/jar21.html#Voronkov98