Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. - William F. Dowling; Jean H. Gallier (J. Log. Program., 1984)

Attribute grammar interpretation as a model of computation (abstract). - William F. Dowling (ACM Conference on Computer Science, 1986)

Continuation Semantics for Flowgraph Equations. - William F. Dowling; Jean H. Gallier (Theor. Comput. Sci., 1986)

NARPL: A solution to the student compiler project problem. - Kevin Atteson; Michael Lorenz; William F. Dowling (ACM SIGPLAN Notices, 1989)

The Fixed Points of Logic Programs with Herbrand Base N. - William F. Dowling; Robert Kline (Theor. Comput. Sci., 1990)