Arithmetic Decision Procedures : a simple introduction

収録刊行物

• http://users.cecs.anu.edu.au/michaeln/pubs/arithmetic-dps.pdf

  http://users.cecs.anu.edu.au/michaeln/pubs/arithmetic-dps.pdf