Fico, M. 2012. “Theory of Local Register Allocation for Prolog Clauses II”. Computing and Informatics 19 (1):79-103. http://147.213.75.17/ojs/index.php/cai/article/view/554.