Lamma, E.; Mello, P.; Stefanelli, C.; Hentenryck, P. van. Exploiting Type Analysis for Unification in a Distributed Environment. Comput. Inform. 2012, 18, 447-465.