@misc{indiciae62e7fbe18940,
  title = {Visser frames for sublogics of \$\textbackslash{}mathbf\{IL\}\$},
  author = {Yuya Okawa and Taishi Kurahashi},
  year = {2024},
  url = {https://arxiv.org/abs/2211.15919},
  note = {Source identifier: 2211.15919}
}