@inproceedings{CTT100783323,
  author = {Kazuki Nakamura and Ryo Kashima},
  title = {項内に束縛関係を持つ一階述語論理の構成},
  booktitle = {京都大学数理解析研究所 講究録},
  year = 2018,
}