Robert McNaughton Semi-Thue Systems with an Inhibitor. 409-431 2001 26 J. Autom. Reasoning 4 db/journals/jar/jar26.html#McNaughton01