@TechReport{Fuc94,
    Author       = "Fuchs, M.",
    Year         = "1994",
    Title        = "{The Application of Goal-Orientated Heuristics for Proving
                    Equational Theorems via the Unfailing Knuth-Bendix
                    Completion Procedure. A case study: lattice ordered
                    groups}",
    Number       = "SEKI-Report SR-94-02",
    Institution  = "Universit{\"a}t Kaiserslautern",
    Address      = "Kaiserslautern, Germany",
    Comment      = "TPTPRef"
}