Bachmann, P. Lifting of L-Narrowing Derivations. Comput. Inform. 2012, 16, 309-334.