Jakub Radoszewski, Wojciech Rytter: Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup. SOFSEM 2010: 663-671