@Inproceedings{GanzingerKorovin-03-lics,
  author =       {Ganzinger, H. and Korovin, K.},
  title =        {New Directions in Instantiation-Based Theorem Proving},
  year =         2003,
  booktitle =    {Proc.\ 18th IEEE Symposium on Logic in Computer Science,(LICS'03)},
  pages =        {55--64},
  publisher =    {IEEE Computer Society Press}
}