"Splitting an operator: Algebraic modularity results for logics with ..."

Joost Vennekens, David Gilis, Marc Denecker (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics