Lamma, E., P. Mello, C. Stefanelli, and P. van Hentenryck. “Exploiting Type Analysis for Unification in a Distributed Environment”. Computing and Informatics 18, no. 5 (January 26, 2012): 447–465. Accessed June 15, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/588.