François Métayer Polynomial Equivalence Among Systems LLNC, LLNC<sub><i>a</i></sub> and LLNC<sub>0</sub>. 221-229 1999 227 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs227.html#Metayer99 http://dx.doi.org/10.1016/S0304-3975(99)00053-5