@inproceedings{MeyerStockmeyer:Equivalence:1972,
    Address = {Washington, DC, USA},
    Author = {Meyer, A. R. and Stockmeyer, L. J.},
    BookTitle = {Proceedings of the 13th Annual Symposium on Switching and Automata Theory},
    File = {The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space - Meyer, Stockmeyer (0) (0) - a - a - m.pdf},
    Pages = {125--129},
    Publisher = {IEEE Computer Society},
    Series = {SWAT '72},
    Title = {The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space},
    URL = {http://dx.doi.org/10.1109/SWAT.1972.29},
    Year = {1972},
    acmid = {1438639},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SWAT.1972.29},
    date-added = {2016-11-16 12:44:16 +0000},
    date-modified = {2016-11-16 12:45:16 +0000},
    numpages = {5},
    doi = {10.1109/SWAT.1972.29}
}

@inproceedings{MeyerStockmeyer:Equivalence:1972, Address = {Washington, DC, USA}, Author = {Meyer, A. R. and Stockmeyer, L. J.}, BookTitle = {Proceedings of the 13th Annual Symposium on Switching and Automata Theory}, File = {The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space - Meyer, Stockmeyer (0) (0) - a - a - m.pdf}, Pages = {125--129}, Publisher = {IEEE Computer Society}, Series = {SWAT '72}, Title = {The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space}, URL = {http://dx.doi.org/10.1109/SWAT.1972.29}, Year = {1972}, acmid = {1438639}, bdsk-url-1 = {http://dx.doi.org/10.1109/SWAT.1972.29}, date-added = {2016-11-16 12:44:16 +0000}, date-modified = {2016-11-16 12:45:16 +0000}, numpages = {5}, doi = {10.1109/SWAT.1972.29} }