@inproceedings{DBLP:conf/fsttcs/KeilT14,
  author    = {Matthias Keil and
               Peter Thiemann},
  title     = {Symbolic Solving of Extended Regular Expression Inequalities},
  booktitle = {34th International Conference on Foundation of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
               New Delhi, India},
  pages     = {175--186},
  year      = {2014},
  crossref  = {DBLP:conf/fsttcs/2014},
  url       = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2014.175},
  doi       = {10.4230/LIPIcs.FSTTCS.2014.175},
  timestamp = {Mon, 15 Dec 2014 14:40:49 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/KeilT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/fsttcs/2014,
  editor    = {Venkatesh Raman and
               S. P. Suresh},
  title     = {34th International Conference on Foundation of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
               New Delhi, India},
  series    = {LIPIcs},
  volume    = {29},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2014},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-77-4},
  isbn      = {978-3-939897-77-4},
  timestamp = {Mon, 15 Dec 2014 14:40:49 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}