A decision method for elementary algebra and geometry (1951)

by A Tarski