Decision problems for semi-Thue systems with a few rules | IEEE Conference Publication | IEEE Xplore