@InProceedings{C23,
  key =		 {C23},
  author =	 {Christoph Benzm{\"u}ller and Chad E. Brown and
                  Michael Kohlhase},
  title =	 {Cut-Simulation in Impredicate Logics},
  editor =	 {Ulrich Furbach and Natarajan Shankar},
  booktitle =	 {Automated Reasoning, Third International Joint Conference,
               IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  url =		 {www.ags.uni-sb.de/~chris/papers/C23.pdf},
  publisher =	 {Springer},
  series =	 {LNCS},
  volume =	 4130,
  pages =	 {220-234},
  year =	 2006
}