Uniform Interpolation by Resolution in Modal Logic.

Andreas Herzig, Jrme Mengin

Browse the full JELIA paper archive.