Lamma, E. (2012) “Exploiting type analysis for unification in a distributed environment”, Computing and Informatics, 18(5), pp. 447–465. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/588 (Accessed: 23 November 2024).