TY  - RPRT
TI  - SWITSS: Computing Small Witnessing Subsystems
AU  - Simon Jantsch
AU  - Hans Harder
AU  - Florian Funke
AU  - Christel Baier
PY  - 2020
UR  - https://arxiv.org/abs/2008.04049
ID  - 2008.04049
ER  -