Ordered structures for parallel rule-based computations | Publicación