TPTP Reference: SE94


@Article{SE94,
    Author       = "Segre, A. and Elkan, C.",
    Year         = "1994",
    Title        = "{A High-Performance Explanation-Based Learning Algorithm}",
    Journal      = "Artificial Intelligence",
    Volume       = "69",
    Number       = "NEED",
    Pages        = "1-50",
    Comment      = "TPTPRef"
}