A semantic editor. - R. Kent Dybvig; Bruce T. Smith (SLIPE, 1985)

An nH-Prolog Implementation. - Bruce T. Smith; Donald W. Loveland (CADE, 1988)

A Simple Near-Horn Prolog Interpreter. - Bruce T. Smith; Donald W. Loveland (ICLP/SLP, 1988)

The physical mapping problem for parallel architectures. - Lenwood S. Heath; Arnold L. Rosenberg; Bruce T. Smith (J. ACM, 1988)

The Near-Horn Approach to Disjunctive Logic Programming. - David W. Reed; Donald W. Loveland; Bruce T. Smith (ELP, 1991)

An Alternative Characterization of Disjunctive Logic Programs. - David W. Reed; Donald W. Loveland; Bruce T. Smith (ISLP, 1991)