Lamma, E. (2012) “Exploiting type analysis for unification in a distributed environment”, COMPUTING AND INFORMATICS, 18(5), pp. 447–465. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/588 (Accessed: 6 May 2024).