A construction of a finitely presented semigroup containing an infinite square-free ideal with zero multiplication. - Ilya Ivanov-Pogodaev; Sergey Malev; Olga Sapir (Int. J. Algebra Comput., 2018)