Gruia-Catalin Roman Rose F. Gamble William E. Ball Seeking Concurrency in Rule-Based Programming. 225-234 1992 conf/icse/1992 ICSE https://doi.org/10.1145/143062.143118 db/conf/icse/icse92.html#RomanGB92