stsys (npm): String rewriting system (semi-Thue system)
Keywords: string|semi-Thue system|word problem|completion|rewriting|SRS