@inproceedings{HH16, title = "Tightening the Complexity of Equivalence Problems for Commutative Grammars", author = "Christoph Haase and Piotr Hofman", year = "2016", booktitle = "Symposium on Theoretical Aspects of Computer Science, {STACS}", pages = "41:1--41:14", publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik", series = "LIPIcs", volume = "47", doi = "10.4230/LIPIcs.STACS.2016.41", }