@inproceedings{saeedloei_et_al:LIPIcs:2010:2599,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Constraint Logic Programming over reals, Co-induction, Context-Free Grammars, Omega-Grammars},
    Author = {Saeedloei, Neda and Gupta, Gopal},
    BookTitle = {Technical Communications of the 26th International Conference on Logic Programming},
    Editor = {Hermenegildo, Manuel and Schaub, Torsten},
    File = {10003.SaeedloeiNeda.2599 (0) - a - a - d.pdf},
    ISBN = {978-3-939897-17-0},
    ISSN = {1868-8969},
    Pages = {212--221},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{Timed Definite Clause Omega-Grammars}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2599},
    Volume = {7},
    Year = {2010},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2010/2599},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.ICLP.2010.212},
    date-added = {2019-04-15 16:16:53 +0200},
    date-modified = {2019-04-15 16:16:53 +0200},
    urn = {urn:nbn:de:0030-drops-25994},
    doi = {10.4230/LIPIcs.ICLP.2010.212}
}

@inproceedings{saeedloei_et_al:LIPIcs:2010:2599, Address = {Dagstuhl, Germany}, Annote = {Keywords: Constraint Logic Programming over reals, Co-induction, Context-Free Grammars, Omega-Grammars}, Author = {Saeedloei, Neda and Gupta, Gopal}, BookTitle = {Technical Communications of the 26th International Conference on Logic Programming}, Editor = {Hermenegildo, Manuel and Schaub, Torsten}, File = {10003.SaeedloeiNeda.2599 (0) - a - a - d.pdf}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, Pages = {212--221}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{Timed Definite Clause Omega-Grammars}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2599}, Volume = {7}, Year = {2010}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2010/2599}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.ICLP.2010.212}, date-added = {2019-04-15 16:16:53 +0200}, date-modified = {2019-04-15 16:16:53 +0200}, urn = {urn:nbn:de:0030-drops-25994}, doi = {10.4230/LIPIcs.ICLP.2010.212} }