M. Fico, “Theory of local register allocation for prolog clauses II”, Comput. Inform., vol. 19, no. 1, pp. 79–103, Jan. 2012.