Automatic goal distribution strategies for the execution of committed choice logic languages on distributed memory parallel computers. - R. B. Scott (1994)