Rong Yang Hideo Aiso P-Prolog: A Parallel Logic Language Based on Exclusive Relation. 79-95 1987 5 New Generation Comput. 1 db/journals/ngc/ngc5.html#YangA87 http://dx.doi.org/10.1007/BF03037459