Larry E. Travis: Experiments with a theorem-utilizing program. AFIPS Spring Joint Computing Conference 1964: 339-358