Dima Grigoriev, Edward A. Hirsch, “Algebraic proof systems over formulas”, Theoretical Computer Science, 303, № 1, 2003, 83
Mateus de Oliveira Oliveira, 10501, Automated Reasoning with Analytic Tableaux and Related Methods, 2017, 364
Nashlen Govindasamy, Tuomas Hakoniemi, Iddo Tzameret, 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), 2022, 188
Pavel Pudlák, 5010, Computer Science – Theory and Applications, 2008, 13
Fu Li, Iddo Tzameret, Zhengyu Wang, “Characterizing Propositional Proofs as Noncommutative Formulas”, SIAM J. Comput., 47, № 4, 2018, 1424
Robert Andrews, Michael A. Forbes, Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, 2022, 389
Alexander A. Razborov, 1099, Automata, Languages and Programming, 1996, 48
Jan Krajíček, “Discretely ordered modules as a first-order extension of the cutting planes proof system”, J. symb. log., 63, № 4, 1998, 1582
Marcelo Finger, Mauricio S. C. Hernandes, 6188, Logic, Language, Information and Computation, 2010, 1
Sam Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi, Proceedings of the thirty-first annual ACM symposium on Theory of Computing, 1999, 547