Login / Signup

On the SUP-INF Method for Proving Presburger Formulas.

Robert E. Shostak
Published in: J. ACM (1977)
Keyphrases