Dependency Systems and Phrase-Structure Systems - Haim Gaifman (Inf. Control., 1965)

Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975. - Haim Gaifman; Azriel Levy; Gert H. Muller (J. Symb. Log., 1977)

Roots of the hardest context free language and other constructs. - Haim Gaifman; Eli Shamir 001 (SIGACT News, 1980)

Probabilities Over Rich Languages, Testing and Randomness. - Haim Gaifman; Marc Snir (J. Symb. Log., 1982)

A simple proof that connectivity of finite graphs is not first-order definable. - Haim Gaifman; Moshe Y. Vardi (Bull. EATCS, 1985)

Concerning Two-Adjacent Context-Free Languages. - Elias Dahlhaus; Haim Gaifman (Theor. Comput. Sci., 1985)

A Theory of Higher Order Probabilities. - Haim Gaifman (TARK, 1986)

Partial Order Models of Concurrency and the Computation of Functions - Haim Gaifman; Vaughan R. Pratt (LICS, 1987)

Modeling concurrency by partial orders and nonlinear transition systems. - Haim Gaifman (REX Workshop, 1988)

Decidable Optimization Problems for Database Logic Programs (Preliminary Report) - Stavros S. Cosmadakis; Haim Gaifman; Paris C. Kanellakis; Moshe Y. Vardi (STOC, 1988)

Operational Pointer Semantics: Solution to Self-Referential Puzzles I. - Haim Gaifman (TARK, 1988)

Proof Theory and Semantics of Logic Programs - Haim Gaifman; Ehud Shapiro (LICS, 1989)

Fully Abstract Compositional Semantics for Logic Programs. - Haim Gaifman; Ehud Shapiro (POPL, 1989)

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. - Haim Gaifman; Michael J. Maher; Ehud Shapiro (NACLP, 1989)

Semantics of Logic Programs. - Haim Gaifman (ICLP, 1990)

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. - Haim Gaifman; Michael J. Maher; Ehud Shapiro (PODC, 1991)

Undecidable Optimization Problems for Database Logic Programs. - Haim Gaifman; Harry G. Mairson; Yehoshua Sagiv; Moshe Y. Vardi (J. ACM, 1993)

Self-Reference and the Acyclicity of Rational Choice. - Haim Gaifman (Ann. Pure Appl. Log., 1999)

Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements. - Haim Gaifman (Synth., 2004)

Naming and Diagonalization, from Cantor to Gödel to Kleene. - Haim Gaifman (Log. J. IGPL, 2006)

Contextual Logic with Modalities for Time and Space. - Haim Gaifman (Rev. Symb. Log., 2008)

Vagueness, tolerance and contextual logic. - Haim Gaifman (Synth., 2010)

Erratum to: Vagueness, tolerance and contextual logic. - Haim Gaifman (Synth., 2011)

On Ontology and Realism in Mathematics. - Haim Gaifman (Rev. Symb. Log., 2012)

Deceptive updating and minimal information methods. - Haim Gaifman; Anubav Vasudevan (Synth., 2012)

The sure thing principle, dilations, and objective probabilities. - Haim Gaifman (J. Appl. Log., 2013)

Context-Dependent Utilities - A Solution to the Problem of Constant Acts in Savage. - Haim Gaifman; Yang Liu 027 (LORI, 2015)

A simpler and more realistic subjective decision theory. - Haim Gaifman; Yang Liu 027 (Synth., 2018)