@INCOLLECTION{arec:inte00,
  author = {Areces, C. and Hoogland, E. and de Jongh, D.},
  title = {Interpolation, Definability and Fixed Points in Interpretability
	Logics},
  booktitle = {Advances in Modal Logic},
  publisher = {CSLI Publications},
  year = {2000},
  editor = {K. Segerberg and M. Zakharyaschev and M. de Rijke and H. Wansing},
  volume = {2},
  pages = {35--58},
  note = {Extended version of ``The Interpolation Theorem for IL and ILP''
	(Areces, de Jongh and Hoogland).},
}