cek, No counter-example interpretation and interactive computation (1992)

by J Kraj
Venue:in Logic From Computer Science: Proceedings of a Workshop held November 13-17, 1989, Mathematical Sciences Research Institute Publication #21