@Article{AHL03,
    Author       = "Avenhaus, J. and Hillenbrand, T. and L{\"o}chner, B.",
    Year         = "2003",
    Title        = "{On Using Ground Joinable Equations in Equational Theorem Proving}",
    Journal      = "Journal of Symbolic Computation",
    Volume       = "36",
    Number       = "1-2",
    Pages        = "217-233",
    Publisher    = "Elsevier Science",
    Comment      = ""
}