@InProceedings{GK03,
    Author       = "Ganzinger, H. and Korovin, K.",
    Year         = "2003",
    Title        = "{New Directions in Instantiation-based Theorem Proving}",
    Editor       = "Kolaitis, P.",
    BookTitle    = "{Proceedings of the 18th IEEE Symposium on Logic in
                    Computer Science}",
    Place        = "Ottawa, Canada",
    Pages        = "55-64",
    Publisher    = "IEEE Press",
    Comment      = ""
}