Berger, U.; Oliva, P. B. Modified Bar Recursion. BRICS 2002, 9.