Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system

From MaRDI portal
Publication:1901710