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