Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.

Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon

Browse the full CADE paper archive.