A Practical Decision Procedure for Arithmetic with Function Symbols

Robert E. Shostak. A Practical Decision Procedure for Arithmetic with Function Symbols. Journal of the ACM, 26(2):351-360, 1979. [doi]

Abstract

Abstract is missing.