TY  - RPRT
TI  - Electronic Appendix to "Input Invariants"
AU  - Dominic Steinhöfel
AU  - Andreas Zeller
PY  - 2022
UR  - https://arxiv.org/abs/2208.12049
ID  - 2208.12049
ER  -