Lamma, E., P. Mello, C. Stefanelli, and P. van Hentenryck. 2012. “Exploiting Type Analysis for Unification in a Distributed Environment”. Computing and Informatics 18 (5):447-65. http://147.213.75.17/ojs/index.php/cai/article/view/588.