@inproceedings{
    AxeHelLan:ICALP08,
    editor = "Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor",
    author = "Axelsson, Roland and Heljanko, Keijo and Lange, Martin",
    publisher = "Springer-Verlag",
    responsibleauthor = "Heljanko, Keijo",
    title = "Analyzing Context-Free Grammars Using an Incremental {SAT} Solver",
    ee = "http://dx.doi.org/10.1007/978-3-540-70583-3_34",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 35th International Colloquium on Automata, Languages, and Programming (ICALP'08), Part II",
    address = "Reykjavik, Iceland",
    corerank = "A",
    juforank = "2",
    month = "July",
    volume = "5126",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    flags = "DC",
    il = "yes",
    year = "2008",
    impactfactor = "D3",
    pages = "410--422"
}