An Interpretation Oriented Theorem Prover over Integers

James C. King, Robert W. Floyd

Browse the full STOC paper archive.