It does this by leveraging the equational inference capabilities of the regular expression domain, making it a form of semantic unification.
the contribution of our work is to show that using semantic unification to find a deeper level of equivalence helps to disambiguate language meanings.