@article{10197,
  author       = {{Steffen, Eckhard}},
  journal      = {{Discrete Mathematics}},
  pages        = {{315}},
  title        = {{{Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs}}},
  volume       = {{161}},
  year         = {{1996}},
}

@article{10198,
  author       = {{Steffen, Eckhard and Zhu, Xuding}},
  journal      = {{Combinatorica}},
  pages        = {{439--448}},
  title        = {{{Star chromatic numbers of graphs}}},
  volume       = {{16}},
  year         = {{1996}},
}

@article{10199,
  author       = {{Steffen, Eckhard}},
  journal      = {{J. Graph Theory}},
  pages        = {{309 --319}},
  title        = {{{Tutte's 5-flow conjecture for graphs of non-orientable genus 5}}},
  volume       = {{22}},
  year         = {{1996}},
}

@inproceedings{10201,
  author       = {{Steffen, Eckhard}},
  booktitle    = {{Computer Science Logic }},
  editor       = {{Börger, E.}},
  pages        = {{339 -- 352}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Complexity results for the default- and autoepistemic logic}}},
  volume       = {{626}},
  year         = {{1992}},
}