@InProceedings{Brotherston-Gore:11,
  author    = "James Brotherston and Rajeev Gor\'e",
  title     = "Craig Interpolation in Displayable Logics",
  booktitle = "Proceedings of {TABLEAUX-20}",
  publisher = "Springer",
  series    = "LNAI",
  pages     = "88--103",
  year      = 2011
}

@TechReport{Brotherston-Gore:techrep11,
  author    = "James Brotherston and Rajeev Gor\'e",
  title     = "Craig Interpolation in Displayable Logics",
  institution = "Imperial College London",
  number    = "DTR11-01",
  year      = 2011
}