Efficient Local Reductions to Basic Modal Logic.

Fabio Papacchini, Cludia Nalon, Ullrich Hustadt, Clare Dixon

Browse the full CADE paper archive.