On transformations of constant depth propositional proofs

From MaRDI portal
Publication:2311211