@inproceedings{Clemente:EPTCS:2020,
    Author = {Clemente, Lorenzo},
    BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}},
    Editor = {Fribourg, Laurent and Heizmann, Matthias},
    File = {On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars - paper - a - l.pdf},
    Pages = {29--43},
    Publisher = {Open Publishing Association},
    Series = {EPTCS},
    Title = {On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars},
    Volume = {320},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.2},
    date-added = {2020-08-07 11:31:55 +0200},
    date-modified = {2020-09-29 18:20:38 +0200},
    doi = {10.4204/EPTCS.320.2}
}

@inproceedings{Clemente:EPTCS:2020, Author = {Clemente, Lorenzo}, BookTitle = {{\rm Proceedings 8th International Workshop on} Verification and Program Transformation {\rm and 7th Workshop on} Horn Clauses for Verification and Synthesis, {\rm Dublin, Ireland, 25-26th April 2020}}, Editor = {Fribourg, Laurent and Heizmann, Matthias}, File = {On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars - paper - a - l.pdf}, Pages = {29--43}, Publisher = {Open Publishing Association}, Series = {EPTCS}, Title = {On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars}, Volume = {320}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.320.2}, date-added = {2020-08-07 11:31:55 +0200}, date-modified = {2020-09-29 18:20:38 +0200}, doi = {10.4204/EPTCS.320.2} }