Fico, M. 2012. Theory of Local Register Allocation for Prolog Clauses. Computing and Informatics. 16, 5 (Jan. 2012), 497–543.