E. Lamma, P. Mello, C. Stefanelli, and P. van Hentenryck, “Exploiting type analysis for unification in a distributed environment”, Comput. Inform., vol. 18, no. 5, pp. 447–465, Jan. 2012.