Natural proofs for structure, data, and separation. (2013)

by X Qiu, P Garg, A Stefanescu, P Madhusudan
Venue:In PLDI,