The Work Decision Problems for Semi-Thue Systems with a Few Rules The details The Author Yuri Matiyasevich The offers