@article{CTT100436247,
  author = {Ryo Kashima},
  title = {Completeness of Implicational Relevant Logics},
  journal = {Logic Journal of the IGPL},
  year = 2000,
}

@misc{CTT100436252,
  author = {Ryo Kashima},
  title = {A Proof of the Standardization Theorem in Lambda-Calculus},
  year = 2000,
}