"A Framework for Heterogeneous Reasoning in Formal and Informal Domains."

Matej Urbas, Mateja Jamnik (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics