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