×
  • Algorithmic term rewriting systems

    Ariya Isihara.

Click on cover to enlarge.