@misc{indiciae2c0b61aa53b9,
  title = {Advances of Proof Scores in CafeOBJ},
  author = {Kokichi Futatsugi},
  year = {2023},
  doi = {10.1016/j.scico.2022.102893},
  url = {https://arxiv.org/abs/2112.10373},
  note = {Source identifier: 2112.10373}
}