A Proof Method for Quantification Theory: Its Justification and Realization | IBM Journals & Magazine | IEEE Xplore