TPTP Reference: Fuc94

TPTP Reference: `Fuc94`

@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"
}