Paul Tarau Verónica Dahl Andrew Fall Backtrackable State with Linear Affine Implication and Assumption Grammars. 53-63 1996 conf/asian/1996 ASIAN db/conf/asian/asian96.html#TarauDF96 http://dx.doi.org/10.1007/BFb0027779