Lamma, E., Mello, P., Stefanelli, C., & Hentenryck, P. van. (2012). Exploiting type analysis for unification in a distributed environment. COMPUTING AND INFORMATICS, 18(5), 447–465. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/588