Ground confluence of order-sorted conditional specifications modulo axioms - Durán, Francisco; Meseguer, José; Rocha, Camilo (Journal of logical and algebraic methods in programming, 2020)
Keywords: Equational programs; Ground confluence; Inductive joinability proof methods; Maude; Order-sorted specifications; Rewriting modulo axioms; Maude; Order-sorted specifications; Rewriting modulo axioms; Ground confluence; Inductive joinability proof methods; Equational programs