Bachmann, P. 2012. Lifting of L-Narrowing Derivations. Computing and Informatics. 16, 3 (Jan. 2012), 309–334.