%T The Mythical Man-Month
%A F.P. Brooks
%I Addison Wesley
%C Reading, MA
%D 1975

%T An introduction to explanation-based learning
%A G. DeJong
%B Exploring Artificial Intelligence
%E H.E. Shrobe
%I Morgan Kaufmann Publishers
%C San Mateo, CA
%D 1988
%K eai
%P 45-82

%T Bounded-overhead caching for definite-clause theorem proving
%A A.M. Segre
%A D. Scharstein
%J Journal of Automated Reasoning
%I Kluwer Academic Publishers
%C Boston, MA
%K jar
%V 11
%N 1
%P 83-113
%D August 1993

%T Quantitative results concerning the utility of explanation-based learning
%A S. Minton
%J Proceedings of the National Conference on Artificial Intelligence
%C St. Paul, MN
%D July 1988
%K aaai88
%P 564-569

%T Reasoning utility package user's manual, version one
%A D. A. McAllester
%R Memo 667
%I MIT Artificial Intelligence Laboratory
%C Cambridge, MA
%D April 1982
%K rup tms

%T Learning efficient classification procedures and their application to chess end games
%A J.R. Quinlan
%B Machine Learning: An Artificial Intelligence Approach
%E R.S. Michalski
%E J.G. Carbonell
%E T.M. Mitchell
%V 1
%I Morgan Kaufmann Publishers
%C San Mateo, CA
%D 1983
%K mlv1
%P 463-482

%T Processing Issues in Comparisons of Symbolic and Connectionist Learning Systems
%A D. Fisher
%A K. McKusick
%A R. Mooney
%A J.W. Shavlik
%A G. Towell
%J Proceedings of the Sixth International Machine Learning Workshop
%C Ithaca, NY
%D June 1989
%K ml89
%P 169-173