The Size of Interpolants in Modal Logics.

Balder ten Cate, Louwe B. Kuijer, Frank Wolter

Browse the full LICS paper archive.