BibTeX record: journals/eccc/NordstromR09

download as .bib file

@article{DBLP:journals/eccc/NordstromR09,
  author    = {Jakob Nordstr\"{o}m and
               Alexander A. Razborov},
  title     = {On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution.},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  year      = {2009},
  volume    = {16},
  pages     = {100},
  url       = {http://eccc.hpi-web.de/report/2009/100},
  timestamp = {Wed, 03 Sep 2014 01:55:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eccc/NordstromR09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}