@misc{indiciae1e4f71f42471,
  title = {Algebraic Proof Complexity: Progress, Frontiers and Challenges},
  author = {Tonnian Pitassi and Iddo Tzameret},
  year = {2016},
  url = {https://arxiv.org/abs/1607.00443},
  note = {Source identifier: 1607.00443}
}