Implementation of committed choice logic languages on shared memory multiprocessors. - James Alexander Crammond (1988)