On the equivalence of linear conjunctive grammars and trellis automataAlexander OkhotinRAIRO-Theor. Inf. Appl., 38 1 (2004) 69-88DOI: https://doi.org/10.1051/ita:2004004