Fico, M. (2012) “Theory of Local Register Allocation for Prolog Clauses”, Computing and Informatics, 16(5), pp. 497–543. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/651 (Accessed: 31 July 2025).