@MastersThesis{Sch95,
    Author       = "Schulz, S.",
    Year         = "1995",
    Title        = "{Explanation Based Learning for Distributed Equational
                    Deduction}",
    School       = "Universit{\"a}t Kaiserslautern",
    Comment      = "TPTPRef"
}