Pebble Games and Algebraic Proof Systems. - Lisa-Marie Jaser; Jacobo Torán (MFCS, 2024)

Pebble Games and Algebraic Proof Systems Meet Again. - Lisa-Marie Jaser; Jacobo Torán (Electron. Colloquium Comput. Complex., 2024)