Lamma, E., et al. “Exploiting Type Analysis for Unification in a Distributed Environment”. COMPUTING AND INFORMATICS, vol. 18, no. 5, Jan. 2012, pp. 447-65, https://www.cai.sk/ojs/index.php/cai/article/view/588.