Fast reflexive arithmetic tactics the linear case and beyond (2006)

by F Besson
Venue:In TYPES, volume 4502 of LNCS