Thue system

  1. REDIRECT Semi-Thue system