DBLP BibTeX Record 'conf/icalp/BuchfuhrerU08'

@inproceedings{DBLP:conf/icalp/BuchfuhrerU08,
  author    = {David Buchfuhrer and
               Christopher Umans},
  title     = {The Complexity of Boolean Formula Minimization},
  booktitle = {ICALP (1)},
  year      = {2008},
  pages     = {24-35},
  ee        = {http://dx.doi.org/10.1007/978-3-540-70575-8_3},
  crossref  = {DBLP:conf/icalp/2008-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icalp/2008-1,
  editor    = {Luca Aceto and
               Ivan Damg{\aa}rd and
               Leslie Ann Goldberg and
               Magn{\'u}s M. Halld{\'o}rsson and
               Anna Ing{\'o}lfsd{\'o}ttir and
               Igor Walukiewicz},
  title     = {Automata, Languages and Programming, 35th International
               Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008,
               Proceedings, Part I: Tack A: Algorithms, Automata, Complexity,
               and Games},
  booktitle = {ICALP (1)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5125},
  year      = {2008},
  isbn      = {978-3-540-70574-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}