On Resolution Like Proofs of Monotone Self-Dual Functions.

Daya Ram Gaur

Browse the full ISAIM paper archive.