Lamma, E. et al. 2012. Exploiting type analysis for unification in a distributed environment. Computing and Informatics. 18, 5 (Jan. 2012), 447–465.