Expressive logics for coalgebras via terminal sequence induction
scientific article; zbMATH DE number 2186734