Finite Gröbner-Shirshov Bases and Faithful Representations for Lee Monoids | Synapse