A Decision Procedure for the First Order Theory of Real Addition with Order
Ferrante, Jeanne, Rackoff, CharlesVolume:
4
Language:
english
Journal:
SIAM Journal on Computing
DOI:
10.1137/0204006
Date:
March, 1975
File:
PDF, 929 KB
english, 1975