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

by F Besson
Venue:In Selected papers of TYPES’06, volume 4502 of LNCS