["P-Prolog: A Parallel Logic Language Based on Exclusive

Relation", R. Yang et al, Third Intl Conf on Logic Prog, 1986,

pp. 255-269].