LEA

BibTex

@article{KM-2000,
  author={Koppenhagen, Ulla and Mayr, Ernst W.},
  title={Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups},
  journal={Information and Computation},
  volume={158},
  number={2},
  year={2000},
  month={May},
  pages={98-124}
}