Presenting functors on many-sorted varieties and applications
modular completeness proofs of coalgebraic logics
algebraic semantics of first-order logic
scientific article; zbMATH DE number 5836750
scientific article