Fico, M. Theory of Local Register Allocation for Prolog Clauses. Comput. Inform. 2012, 16, 497-543.