| The semantics of predicate logic as a programming language MH Van Emden, RA Kowalski Journal of the ACM (JACM) 23 (4), 733-742, 1976 | 3494* | 1976 |
| The semantics of predicate logic as a programming language MH van Emden, RA Kowalski JACM 23 (4), 733-743, 1976 | 2189 | 1976 |
| Contributions to the theory of logic programming KR Apt, MH Van Emden Journal of the ACM (JACM) 29 (3), 841-862, 1982 | 963 | 1982 |
| Interval arithmetic: From principles to implementation T Hickey, Q Ju, MH Van Emden Journal of the ACM (JACM) 48 (5), 1038-1068, 2001 | 478 | 2001 |
| Quantitative deduction and its fixpoint theory MH Van Emden The Journal of Logic Programming 3 (1), 37-53, 1986 | 352 | 1986 |
| An analysis of complexity MH vanEmden MC Tracts, 1975 | 203 | 1975 |
| Increasing the efficiency of quicksort MH van Emden Communications of the ACM 13 (9), 563-567, 1970 | 110 | 1970 |
| Predicate logic as a language for parallel programming MH van Emden, CJ Lucena Department of Computer Science, University of Waterloo, 1979 | 105 | 1979 |
| Programming with resolution logic MH Van Emden Department of Computer Science, University of Waterloo, 1975 | 83 | 1975 |
| Logic programming with equations MH Van Emden, K Yukawa The Journal of Logic Programming 4 (4), 265-288, 1987 | 82 | 1987 |
| A logical reconstruction of Prolog II MH van Emden, JW Lloyd The Journal of Logic Programming 1 (2), 143-149, 1984 | 64 | 1984 |
| On the hierarchical decomposition of complexity MH vanEmden Stichting Mathematisch Centrum. Rekenafdeling, 1969 | 61 | 1969 |
| Spreadsheets with incremental queries as a user interface for logic programming MH Van Emden, M Ohki, A Takeuchi New Generation Computing 4, 287-304, 1986 | 60 | 1986 |
| Interval computation as deduction in CHIP JHM Lee, MH Van Emden The Journal of Logic Programming 16 (3-4), 255-276, 1993 | 56 | 1993 |
| Value constraints in the CLP Scheme MH Van Emden Constraints 2, 163-183, 1997 | 48 | 1997 |
| An Interpreting Algorithm for Prolog Programs. MH van Emden Implementations of Prolog, 93-110, 1984 | 48 | 1984 |
| Programming with verification conditions MH Van Emden IEEE Transactions on Software Engineering, 148-159, 1979 | 41 | 1979 |
| A unified framework for interval constraints and interval arithmetic TJ Hickey, MH van Emden, H Wu Principles and Practice of Constraint Programming—CP98: 4th International …, 1998 | 36 | 1998 |
| Top-down semantics of fair computations of logic programs MH Van Emden, MAN Abdallah The Journal of Logic Programming 2 (1), 67-75, 1985 | 35 | 1985 |
| Algorithmic power from declarative use of redundant constraints MH van Emden Constraints 4, 363-381, 1999 | 33 | 1999 |
Bob KowalskiDistinguished Research Fellow Imperial College LondonVerified email at doc.ic.ac.uk
