@inproceedings{Gerh:03a,
  pages = {212--225},
  title = {{R}efined {C}omplexity {A}nalysis of {C}ut {E}limination},
  editor = {Baaz, Matthias and Makovsky, Johann},
  publisher = {Springer-Verlag, Berlin},
  author = {Gerhardy, Philipp},
  series = {LNCS},
  booktitle = {Proceedings of the 17th International Workshop CSL 2003},
  year = 2003,
  volume = {2803},
}