Fico, M. 2012. Theory of local register allocation for prolog clauses II. Computing and Informatics. 19, 1 (Jan. 2012), 79–103.