Fico, M. 2012. Theory of Local Register Allocation for Prolog Clauses. COMPUTING AND INFORMATICS. 16, 5 (Jan. 2012), 497–543.