Whitney, Buer, McKay, Kogan, Hirschman, Davis, 1985. A Predicate Connection Graph Based Logic with Flexible Control, in: .