"A Semantics for a Class of Stratified Production System Programs."

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