Jordi Levy Mateu Villaret Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. 156-171 2000 conf/rta/2000 RTA db/conf/rta/rta2000.html#LevyV00 http://dx.doi.org/10.1007/10721975_11