Return to Article Details On the No-Counterexample Interpretation Download Download PDF