A NON-REGULAR LANGUAGE OF INFINITE TREES THAT IS RECOGNIZED BY A SORT-WISE FINITE ALGEBRA. - BOJAŃCZYK, MIKOŁAJ; KLIN, BARTEK (Logical Methods in Computer Science (LMCS), 2019)