No counter-example interpretation and interactive computation, in Logic from Computer Science (1992)

by J Kraj́ıček
Venue:of Mathematical Sciences Research Institute Publ