"Semantics for Rule-based Programs that Express Non-determinism, Causality ..."

Louiqa Raschid (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics