×
  • Explicit substitutions in rewriting systems - tutorial and survey

    Rose K.H.

3 - 4Hours to read