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 http://147.213.75.17/ojs/index.php/cai/article/view/588