Fico, M. 2012. Theory of local register allocation for prolog clauses II. COMPUTING AND INFORMATICS. 19, 1 (Jan. 2012), 79–103.