A fast algorithm to decide on the equivalence of stateless DPDADidier CaucalRAIRO-Theor. Inf. Appl., 27 1 (1993) 23-48DOI: https://doi.org/10.1051/ita/1993270100231
