AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis. - Jung-Herng Chang; Alvin M. Despain; Doug DeGroot (COMPCON, 1985)

Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. - Jung-Herng Chang; Alvin M. Despain (SLP, 1985)

High Performance Prolog, The Multiplicative Effect of Several Levels of Implementation. - Alvin M. Despain; Yale N. Patt; Tep P. Dobry; Jung-Herng Chang; Wayne Citrin (COMPCON, 1986)