TY  - RPRT
TI  - Advances of Proof Scores in CafeOBJ
AU  - Kokichi Futatsugi
PY  - 2023
DO  - 10.1016/j.scico.2022.102893
UR  - https://arxiv.org/abs/2112.10373
ID  - 2112.10373
ER  -