Annalisa Bossi Sandro Etalle Sabina Rossi Properties of input-consuming derivations. 125-154 2002 2 TPLP 2 db/journals/tplp/tplp2.html#BossiER02