@article{Otto2000b,
  title = {An interpolation theorem},
  pages = {447-462},
  author = {Otto, Martin},
  journal = {Bulletin of Symbolic Logic},
  volume = {6},
  year = {2000},
}