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

Rong Yang, Hideo Aiso (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics