First-order unification on compressed terms (2011)

by A Gascón, S Maneth, L Ramos
Venue:In RTA