A semantics for a class of non-deterministic and causal production system programs
non-deterministic production rule systems
scientific article; zbMATH DE number 704958