Title: Randomness in proof complexity
First published: 2005