Yolcu, E., Wu, X., Heule, M.J.H., 2020. Mycielski Graphs and $$\mathrm {PR}$$ Proofs, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-51825-7_15