A strict border for the decidability of E-unification for recursive functions (0)

by H Faßbender, S Maneth
Venue:5th International Conference on Algebraic and Logic Programming, ALP’96