@InProceedings{C23,
  key    =       {C23},
  author =       {Christoph Benzm{\"u}ller and Chad E. Brown and Michael Kohlhase},
  title =        {Cut-Simulation in Impredicate Logics},
  booktitle =    {Third International Joint Conference on Automated Reasoning (IJCAR'06)},
  url =          {www.ags.uni-sb.de/~chris/papers/C23.pdf},
  publisher =    {Springer},
 series = {LNAI},
  volume = {4130},
  pages = {220-234},
  year = 2006
}