Decision procedures for real and p-adic fields (1969)

by P J Cohen
Venue:Comm. Pure Appl. Math