Decision problems for semi-thue systems with a few rules (1996)

by Y Matiyasevich, G Senizergues
Venue:in: Proc. 11th Annual IEEE Symposium on Logic in Computer Science