publication venue for (Heterogeneous) Structured Specifications in Logics Without Interpolation 2018 A Reasoning System for Satisfiability of Diagrammatic Specifications 2018 Feferman on Computability 2017
