@InProceedings{Dawson-Brotherston-Gore:16,
  author    = "Jeremy E. Dawson and James Brotherston and Rajeev Gor{\'e}",
  title     = "Machine-checked Interpolation Theorems for Substructural Logics using Display Calculi",
  booktitle = "Proceedings of {IJCAR}-8",
  pages     = "452--468",
  series    = "LNAI",
  volume    = 9706,
  publisher = "Springer",
  year      = 2016
}