Computation and Size of Interpolants for Hybrid Modal Logics.

Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter

Browse the full LICS paper archive.