Zenon Sadowski On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP. [Citation Graph (0, 0)][DBLP] FCT, 1997, pp:423-428 [Conf]

Zenon Sadowski On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT). [Citation Graph (0, 0)][DBLP] MCU, 2001, pp:300-307 [Conf]

Zenon Sadowski On a D-N-optimal acceptor for TAUT [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2005, v:, n:077, pp:- [Journal]

Zenon Sadowski On an optimal propositional proof system and the structure of easy subsets of TAUT. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:288, n:1, pp:181-193 [Journal]