On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields | IEEE Conference Publication | IEEE Xplore