Automatic theorem proving new results on goal trees and Presburger arithmetic - Reddy, Cattamanchi Ramalinga (1978)
Durham, NC, Univ., Diss., 1978