Guy E. Blelloch CIS: A Massively Concurrent Rule-Based System. 735-741 1986 AAAI db/conf/aaai/aaai86-2.html#Blelloch86