Beckmann, A., Pudlák, P., & Thapen, N. (2013). Parity Games and Propositional Proofs. Mathematical Foundations of Computer Science 2013, 8087, pp. 111-122. doi:10.1007/978-3-642-40313-2_12
Chicago Style CitationBeckmann, Arnold, Pavel Pudlák, and Neil Thapen. "Parity Games and Propositional Proofs." Mathematical Foundations of Computer Science 2013 8087 (2013): 111-122.
MLA CitationBeckmann, Arnold, Pavel Pudlák, and Neil Thapen. "Parity Games and Propositional Proofs." Mathematical Foundations of Computer Science 2013 8087 (2013): 111-122.
Warning: These citations may not always be 100% accurate.