TPTP Reference: Loe06

@Article{Loe06-JAIT,
    Author       = "Loechner, B.",
    Year         = "2006",
    Title        = "{Things to Know When Implementing LBO}",
    Journal      = "Journal of Artificial Intelligence Tools",
    Volume       = "15",
    Number       = "1",
    Pages        = "53-80",
    Comment      = ""
}

@Article{Loe06,
    Author       = "Loechner, B.",
    Year         = "2006",
    Title        = "{Things to Know When Implementing KBO}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "36",
    Number       = "4",
    Pages        = "289-310",
    Comment      = "TPTPCite,TPTPData"
}