Kohlenbach, U. On the No-Counterexample Interpretation. BRICS 1997, 4.