Ordered structures for parallel rule-based computations
scientific article; zbMATH DE number 1716730