@Conference{GanzKor:InstEq:2004,
 author    = {Ganzinger, H. and Korovin, K.},
 title     = {Integrating equational reasoning
              into  instantiation-based theorem proving},
 booktitle = {Computer Science Logic (CSL'04)},
 pages     = {71--84},
 series    = {Lecture Notes in Computer Science},
 volume    = {3210},
 publisher = {Springer},
 year      = {2004}
}