| Solving generalized Fibonacci recurrences DA Wolfram Fibonacci Quarterly 36 (2), 129-145, 1998 | 181 | 1998 |
| The clausal theory of types DA Wolfram Cambridge University Press, 1993 | 157 | 1993 |
| On Types and FOOPS. JA Goguen, DA Wolfram DS-4, 1-22, 1990 | 70 | 1990 |
| A Unified Treatment of Resolution Strategies for Logic Programs. DA Wolfram, MJ Maher, JL Lassez ICLP, 263-276, 1984 | 61 | 1984 |
| An appraisal of INTERNIST-I DA Wolfram Artificial intelligence in medicine 7 (2), 93-116, 1995 | 54 | 1995 |
| Unification and matching modulo nilpotence Q Guo, P Narendran, DA Wolfram Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996 | 30 | 1996 |
| Intractable unifiability problems and backtracking DA Wolfram Journal of Automated Reasoning 5, 37-47, 1989 | 28 | 1989 |
| A sheaf semantics for FOOPS expressions DA Wolfram, JA Goguen European Conference on Object-Oriented Programming, 81-98, 1991 | 24 | 1991 |
| A semantics for λProlog DA Wolfram Theoretical Computer Science 136 (1), 277-289, 1994 | 22 | 1994 |
| The Clausal Theory of Types. DA Wolfram University of Cambridge, 1990 | 17 | 1990 |
| Complexity of nilpotent unification and matching problems Q Guo, P Narendran, DA Wolfram Information and Computation 162 (1-2), 3-23, 2000 | 14 | 2000 |
| Rewriting, and equational unification: the higher-order cases DA Wolfram International Conference on Rewriting Techniques and Applications, 25-36, 1991 | 14 | 1991 |
| Forward checking and intelligent backtracking DA Wolfram Information processing letters 32 (2), 85-87, 1989 | 8 | 1989 |
| System description: Kimba, a model generator for many-valued first-order logics H Ganzinger, K Konrad, DA Wolfram Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999 | 5 | 1999 |
| The decidability of higher-order matching DA Wolfram Proceedings of Sixth International Workshop on Unification Schloss Dagstuhl …, 1992 | 4 | 1992 |
| On types and FOOPS. Programming Research Group J Gougen, D Wolfram Oxford University, Draft Report, 1990 | 4 | 1990 |
| A formula for the general solution of a constant-coefficient difference equation DA Wolfram Journal of Symbolic Computation 29 (1), 79-82, 2000 | 3 | 2000 |
| Factoring Variants of Chebyshev Polynomials of the First and Second Kinds with Minimal Polynomials of cos(2π/d) DA Wolfram The American Mathematical Monthly 129 (2), 172-176, 2022 | 2 | 2022 |
| Adaptive Backtracking DA Wolfram University of Melbourne, 1985 | 2 | 1985 |
| Solving recurrences for Legendre–Bernstein basis transformations DA Wolfram Examples and Counterexamples 4, 100117, 2023 | 1 | 2023 |
