Normal modal model theory. - Kenneth A. Bowen (J. Philos. Log., 1975)

An Herbrand theorem for prenex formulas of LJ. - Kenneth A. Bowen (Notre Dame J. Formal Log., 1976)

Prolog. - Kenneth A. Bowen (ACM Annual Conference, 1979)

Concurrent Execution of Logic. - Kenneth A. Bowen (ICLP, 1982)

A Meta-Level Extension of Prolog. - Kenneth A. Bowen; Tobias Weinberg (SLP, 1985)

Meta-Level Programming and Knowledge Representation. - Kenneth A. Bowen (New Gener. Comput., 1985)

New directions in logic programming. - Kenneth A. Bowen (ACM Conference on Computer Science, 1986)

The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler. - Kenneth A. Bowen; Kevin A. Buettner; Ilyas Cicekli; Andrew K. Turk (ICLP, 1986)

Adventures in the Prolog Trade. - Kenneth A. Bowen (ICLP, 1999)