BibTeX

@misc{satotakumi-poster-20260602-toree,
  title = {トレース論理のエンテイルメント判定のための循環証明体系},
  author = {佐藤拓海，中澤巧爾},
  howpublished = {第28回プログラミングおよびプログラミング言語ワークショップ（PPL 2026）, 2026/03/11, セッション16，#101},
  year = {2025},
  note = {ポスター},
  url = {https://jssst-ppl.org/workshop/2026/program.html}
}