Variants of unification considering compression and context variables 

Gascón Caro, Adrià (Date of defense: 2014-05-30)

Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...