A distribution semantics for probabilistic term rewriting - Vidal, Germán (Journal of logical and algebraic methods in programming, 2025)
Keywords: Modeling; Probability; Semantics; Term rewriting; Term rewriting; Probability; Semantics; Modeling