TY  - RPRT
TI  - Temporal Verification with Answer-Effect Modification
AU  - Taro Sekiyama
AU  - Hiroshi Unno
PY  - 2022
UR  - https://arxiv.org/abs/2207.10386
ID  - 2207.10386
ER  -