Alexey P. Kopylov Decidability of Linear Affine Logic. 173-198 2001 164 Inf. Comput. 1 db/journals/iandc/iandc164.html#Kopylov01