Richard Whitney Darrel J. Van Buer Donald P. McKay Dan Kogan Lynette Hirschman Rebecca Davis A Predicate Connection Graph Based Logic with Flexible Control. 733-736 1985 IJCAI db/conf/ijcai/ijcai85.html#WhitneyBMKHD85