counter-example interpretation and interactive computation (1992)

by No
Venue:in Logic From Computer Science: Proceedings of a Workshop held