TY  - RPRT
TI  - Competition Report: CHC-COMP-21
AU  - Grigory Fedyukovich
AU  - Philipp Rümmer
PY  - 2021
DO  - 10.4204/eptcs.344.7
UR  - https://arxiv.org/abs/2109.04635
ID  - 2109.04635
ER  -