No counter-example interpretation and interactive computation (1989)

by J Krajíček
Venue:Logic From Computer Science 21 (Springer-Verlag