Intelligent Behavior in Problem-Solving Machines. - Herbert L. Gelernter; Nathaniel Rochester (IBM J. Res. Dev., 1958)

Realization of a geometry theorem proving machine. - Herbert L. Gelernter (IFIP Congress, 1959)

A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine - Herbert L. Gelernter (Inf. Control., 1959)

Empirical explorations of the geometry theorem machine. - Herbert L. Gelernter; J. R. Hansen; Donald W. Loveland (IRE-AIEE-ACM Computer Conference (Western), 1960)

A Fortran-Compiled List-Processing Language. - Herbert L. Gelernter; J. R. Hansen; Carl L. Gerberich (J. ACM, 1960)

A Note on the System Requirements of a Digital Computer for the Manipulation of List Structures. - Herbert L. Gelernter (IRE Trans. Electron. Comput., 1961)

Data Collection and Reduction for Nuclear Particle Trace Detectors. - Herbert L. Gelernter (Adv. Comput., 1965)

Application of chemical transforms in EYNCHEMZ: a computer program for organic synthesis route discovery. - Krishna K. Agarwal; David L. Larsen; Herbert L. Gelernter (Comput. Chem., 1978)

Data Metastructures. - Alfons F. Sanders; Herbert L. Gelernter (Softw. Pract. Exp., 1979)

Research at SUNY: Stony Brook. - Herbert L. Gelernter; Mark A. Jones; Sharon C. Salveter; David Scott Warren (SIGART Newsl., 1982)

Building and refining a knowledge base for synthetic organic chemistry via the methodology of inductive and deductive machine learning. - Herbert L. Gelernter; J. Royce Rose; Chyouhwa Chen (J. Chem. Inf. Comput. Sci., 1990)

Knowledge Discovery in Reaction Databases. - John R. Rose; Herbert L. Gelernter (CIKM, 1993)

A Computer-Oriented Linear Canonical Notational System for the Representation of Organic Structures with Stereochemistry. - Krishna K. Agarwal; Herbert L. Gelernter (J. Chem. Inf. Comput. Sci., 1994)

Distributed Heuristic Synthesis Search. - Daren Krebsbach; Herbert L. Gelernter; Scott McN. Sieburth (J. Chem. Inf. Comput. Sci., 1998)