MONA: Decidable arithmetic in practice (1996)

by M Biehl, N Klarlund, T Rauhe
Venue:In FTRTFT’96, volume 1135 of LNCS