@article{Honkala:2000:SSH:349439.349613,
    Address = {Essex, UK},
    Author = {Honkala, Juha},
    File = {A Short Solution of the HDT0L Sequence Equivalence Problem - a - a - o.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {D0L system, DT0L system, equivalence problem},
    Month = {August},
    Number = {1-2},
    Pages = {267--270},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {A Short Solution of the HDT0L Sequence Equivalence Problem},
    URL = {http://dx.doi.org/10.1016/S0304-3975(00)00158-4},
    Volume = {244},
    Year = {2000},
    acmid = {349613},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0304-3975(00)00158-4},
    date-added = {2019-07-17 14:32:35 +0100},
    date-modified = {2019-07-17 14:32:35 +0100},
    issue_date = {Aug. 6, 2000},
    numpages = {4},
    doi = {10.1016/S0304-3975(00)00158-4}
}

@article{Honkala:2000:SSH:349439.349613, Address = {Essex, UK}, Author = {Honkala, Juha}, File = {A Short Solution of the HDT0L Sequence Equivalence Problem - a - a - o.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {D0L system, DT0L system, equivalence problem}, Month = {August}, Number = {1-2}, Pages = {267--270}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {A Short Solution of the HDT0L Sequence Equivalence Problem}, URL = {http://dx.doi.org/10.1016/S0304-3975(00)00158-4}, Volume = {244}, Year = {2000}, acmid = {349613}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0304-3975(00)00158-4}, date-added = {2019-07-17 14:32:35 +0100}, date-modified = {2019-07-17 14:32:35 +0100}, issue_date = {Aug. 6, 2000}, numpages = {4}, doi = {10.1016/S0304-3975(00)00158-4} }