Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk).

Maribel Fernndez

Browse the full LOPSTR paper archive.