Proof systems for Moss' coalgebraic logic
scientific article; zbMATH DE number 6334958
scientific article