Parity Games and Propositional Proofs
| Date first appeared online | |
| DOI | 10.1145/2579822 |
| Authors | Beckmann A. |
| Journal Name | ACM Transactions on Computational Logic |
| Volume | 15 |
| Date first appeared online | |
| DOI | 10.1145/2579822 |
| Authors | Beckmann A. |
| Journal Name | ACM Transactions on Computational Logic |
| Volume | 15 |