Constraints Logic Programming Language CAL. - Akira Aiba; Kô Sakai; Yosuke Sato; David J. Hawley; Ryuzo Hasegawa (FGCS, 1988)

A Buchberger Algorithm for Distributed Memory Multiprocessors. - David J. Hawley (ACPC, 1991)

Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. - Satoshi Terasaki; David J. Hawley; Hiroyuki Sawada; Ken Satoh; Satoshi Menju; Taro Kawagishi; Noboru Iwayama; Akira Aiba (FGCS, 1992)