Simon Jantsch, Hans Harder, Florian Funke 0002, Christel Baier. Switss: Computing Small Witnessing Subsystems. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 236-244, IEEE, 2020. [doi]
Abstract is missing.