The Unit Proof and the Input Proof in Theorem Proving

From MaRDI portal
Publication:5613968