M. Fico, “Theory of Local Register Allocation for Prolog Clauses”, Comput. Inform., vol. 16, no. 5, pp. 497–543, Jan. 2012.