A framework for proof systems (2009)

by Vivek Nigam, Dale Miller