Optimizing the Presentation of Modal Natural Deduction Proofs.

Erika F. de Lima, Christoph Lingenfelder

Browse the full ECAI paper archive.