Monadic Simultaneous Rigid E-Unification and Related Problems.

Yuri Gurevich, Andrei Voronkov

Browse the full ICALP paper archive.