@Conference{GanzKor:ThInst:2006,
 author    = {Ganzinger, H. and  Korovin, K.},
 title     = {{T}heory {I}nstantiation},
 booktitle = {Proceedings of the 13 Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06)},
 pages     = {497--511},
 series    = {Lecture Notes in Computer Science},
 volume    = {4246},
 publisher = {Springer},
 year      = {2006}
}