Chapter 17: Omega: a solver of quantifier-free problems in
Presburger Arithmetic
Chapter 17: Omega: a solver of quantifier-free problems in
Presburger Arithmetic
Pierre Crégut
Retrieved by Memoweb from http://pauillac.inria.fr/coq/doc/node.3.6.html at 8/10/98