Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.

Roope Kaivola, Antti Valmari

Browse the full CONCUR paper archive.