TY  - RPRT
TI  - Colorless Tasks and Extension-Based Proofs
AU  - Yusong Shi
AU  - Weidong Liu
PY  - 2024
UR  - https://arxiv.org/abs/2303.14769
ID  - 2303.14769
ER  -