SN and CR for Free-Style LK<sup>tq</sup>: Linear Decorations and Simulation of Normalization.

Jean-Baptiste Joinet Harold Schellinx Lorenzo Tortora de Falco SN and CR for Free-Style LK<sup>tq</sup>: Linear Decorations and Simulation of Normalization. 162-196 2002 67 J. Symb. Log. 1 db/journals/jsyml/jsyml67.html#JoinetSF02