@InProceedings{Schmitt01b,
  author        = {Peter H. Schmitt},
  title         = {Iterate Logic},
  booktitle     = {Proof Theory in Computer Science, Proceedings, 
                   International Seminar, Dagstuhl Castle, 
                   Germany, October 2001},
  editor        = {Peter Schroeder-Heister and Robert St"{a}rk 
                   and Reinhard Kahle},
  pages         = {191--201},
  publisher     = {Springer},
  series        = {LNCS},
  volume        = {2183},
  year          = {2001}              
}