Посов, И. Решение японских кроссвордов с использованием конечных автоматов. CTE 2014.