On categorial and phrase-structure grammars Y Bar-Hillel, H Gaifman, E Shamir The Bulletin of the Research Council of Israel, 9, 1-6, 1960 | 2405* | 1960 |

Dependency systems and phrase-structure systems H Gaifman Information and control 8 (3), 304-337, 1965 | 535 | 1965 |

On local and non-local properties H Gaifman Proceedings of the herbrand symposium, logic colloquium 81, 105-135, 1982 | 488 | 1982 |

Concerning measures in first order calculi H Gaifman Israel journal of mathematics 2 (1), 1-18, 1964 | 427 | 1964 |

Probabilities over rich languages, testing and randomness H Gaifman, M Snir The Journal of Symbolic Logic 47 (3), 495-548, 1982 | 279 | 1982 |

A Theory of Higher Order Probabilities H Gaifman Causation, Chance and Credence (The University of Western Ontario Series in …, 1988 | 271 | 1988 |

Decidable optimization problems for database logic programs S Cosmadakis, H Gaifman, P Kanellakis, M Vardi Proceedings of the twentieth annual ACM symposium on Theory of computing …, 1988 | 216 | 1988 |

Undecidable optimization problems for database logic programs H Gaifman, H Mairson, Y Sagiv, MY Vardi Journal of the ACM (JACM) 40 (3), 683-713, 1993 | 201 | 1993 |

Pointers to Truth H Gaifman The Journal of Philosophy 89 (5), 223-261, 1992 | 149 | 1992 |

Fragments of Peano’s arithmetic and the MRDP theorem H Gaifman, C Dimitracopoulos Logic and algorithmic (Zurich, 1980),(Monograph. Enseign. Math., 30), 187-206, 1982 | 136 | 1982 |

Fully abstract compositional semantics for logic programs H Gaifman, E Shapiro Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 135 | 1989 |

Models and types of Peano's arithmetic H Gaifman Annals of Mathematical Logic 9 (3), 223-306, 1976 | 123 | 1976 |

Partial order models of concurrency and the computation of functions H Gaifman, VR Pratt LICS, 72-85, 1987 | 101 | 1987 |

Concerning measures on Boolean algebras H Gaifman Pacific Journal of Mathematics 14, 61-73, 1964 | 83 | 1964 |

A note on models and submodels of arithmetic H Gaifman Conference in Mathematical Logic, London 1970 Hodges W. ed, Lecture Notes in …, 1972 | 80* | 1972 |

Vagueness, Tolerance and Contextual logic H Gaifman Synthese 174 (1), 5-46, 2010 | 79 | 2010 |

Reasoning with limited resources and assigning probabilities to arithmetical statements H Gaifman Synthese 140 (1), 97-119, 2004 | 71 | 2004 |

Naming and diagonalization, from Cantor to Gödel to Kleene H Gaifman Logic Journal of IGPL 14 (5), 709-728, 2006 | 59 | 2006 |

Operational pointer semantics: Solution to self-referential puzzles I H Gaifman Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about …, 1988 | 58 | 1988 |

Elementary embeddings of models of set-theory and certain subtheories H Gaifman Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ …, 1974 | 58 | 1974 |