P. Bachmann, “Lifting of L-Narrowing Derivations”, Comput. Inform., vol. 16, no. 3, pp. 309–334, Jan. 2012.