Fico, M. Theory of Local Register Allocation for Prolog Clauses II. Comput. Inform. 2012, 19, 79-103.