Beckmann, A., Pudlák, P., & Thapen, N. (2014). Parity Games and Propositional Proofs. ACM Transactions on Computational Logic, 15(2), pp. 17:1-17:30. doi:10.1145/2579822
Chicago Style CitationBeckmann, Arnold, Pavel Pudlák, and Neil Thapen. "Parity Games and Propositional Proofs." ACM Transactions On Computational Logic 15, no. 2 (2014): 17:1-17:30.
MLA CitationBeckmann, Arnold, Pavel Pudlák, and Neil Thapen. "Parity Games and Propositional Proofs." ACM Transactions On Computational Logic 15.2 (2014): 17:1-17:30.
Warning: These citations may not always be 100% accurate.