On Small-Depth Frege Proofs for Tseitin for Grids | IEEE Conference Publication | IEEE Xplore