Donald A. Smith MultiLog: Data Or-Parallel Logic Programming. [Citation Graph (0, 0)][DBLP] IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
Donald A. Smith Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. [Citation Graph (0, 0)][DBLP] ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:33-47 [Conf]
Donald A. Smith, Mark Utting Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. [Citation Graph (0, 0)][DBLP] Implementation Technology for Programming Languages based on Logic, 1998, pp:113-126 [Conf]
Donald A. Smith Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages. [Citation Graph (0, 0)][DBLP] PEPM, 1991, pp:62-71 [Conf]