A Calculus Supporting Structured Proofs

Bernd I. Dahn, Andreas Wolf. A Calculus Supporting Structured Proofs. Elektronische Informationsverarbeitung und Kybernetik, 30(5/6):261-276, 1994.

Abstract

Abstract is missing.