Erika F. de Lima, Christoph Lingenfelder. Optimizing the Presentation of Modal Natural Deduction Proofs. In Wolfgang Wahlster, editor, 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings. pages 365-369, John Wiley and Sons, Chichester, 1996.
Abstract is missing.