Raschid L, Lobo J.  1994.  A Semantics for a class of non-deterministic and causal production system programs. Journal of Automated Reasoning. 12(3):305-349.