REGULUS: A general purpose macro processor based on regular expressions part one. - Harvey Abramson (ACM Annual Conference, 1977)

Ordered types and a generalized for statement. - Harvey Abramson (ACM SIGPLAN Notices, 1977)

TOSI: A Tree Oriented String Interpreter for the Design and Implementation of Semantics. - Harvey Abramson; Tom Rushworth; Ted Venema (Softw. Pract. Exp., 1977)

The Pica-B Computer An Abstract Target Machine For A Transportable Single-User Operating Environment. - Harvey Abramson; Mark Fox; Michael Gorlick; Vince Manis; John E. L. Peck (ACM Annual Conference (1), 1978)

Unification-based Conditional Binding Constructs. - Harvey Abramson (ICLP, 1982)

A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions. - Harvey Abramson (Logic Programming Workshop, 1983)

Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars. - Harvey Abramson (FGCS, 1984)

Definite Clause Translation Grammars. - Harvey Abramson (SLP, 1984)

A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions. - Harvey Abramson (New Gener. Comput., 1984)

A Prological Definition of HASL: A Purely Functional Language with Unification-Based Conditional Binding Expressions. - Harvey Abramson (Logic Programming: Functions, Relations, and Equations, 1986)

Sequential and Concurrent Deterministic Logic Grammars. - Harvey Abramson (ICLP, 1986)

Introduction to Special Issue on Natural Language and Logic Programming. - Michael C. McCord; Verónica Dahl; Harvey Abramson (J. Log. Program., 1986)

Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. - Harvey Abramson (ICLP/SLP, 1988)

Logic grammars. - Harvey Abramson; Verónica Dahl (Springer, 1989)

Definite Feature Grammars for Natural and Formal Languages: An Introduction to the Formalism. - Harvey Abramson (Natural Language Understanding and Logic Programming Workshop, 1991)

A Logic Programming View of Relational Morphology. - Harvey Abramson (COLING, 1992)