Bachmann, P. 2012. Lifting of L-Narrowing Derivations. COMPUTING AND INFORMATICS. 16, 3 (Jan. 2012), 309–334.