Decision problems for semi-Thue systems with a few rules

Yuri Matiyasevich, GĂ©raud SĂ©nizergues. Decision problems for semi-Thue systems with a few rules. Theoretical Computer Science, 330(1):145-169, 2005. [doi]

Abstract

Abstract is missing.