ETHER - A Parallel Problem Solving System. - William A. Kornfeld (IJCAI, 1979)

The Use of Parallelism to Implement a Heuristic Search. - William A. Kornfeld (IJCAI, 1981)

The Scientific Community Metaphor. - William A. Kornfeld; Carl Hewitt (IEEE Trans. Syst. Man Cybern., 1981)

Combinatorially Implosive Algorithms. - William A. Kornfeld (Commun. ACM, 1982)

Concepts in parallel problem solving. - William A. Kornfeld (1982)

Equality for Prolog. - William A. Kornfeld (IJCAI, 1983)

Equality For Prolog. - William A. Kornfeld (Logic Programming: Functions, Relations, and Equations, 1986)

The purpose and promise of logic programming. - William A. Kornfeld (ACM Conference on Computer Science, 1986)

Money as a Concurrent Logic Program. - Kenneth M. Kahn; William A. Kornfeld (NACLP, 1989)