"Logical Foundations for Reasoning about Transformations of Knowledge Bases."

Mohamed Chaabani, Rachid Echahed, Martin Strecker (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics