No counter-example interpretation and interactive computation (1992)

by J Krajíček
Venue:In Logic from Computer Science