Constructive validity (1970)

by D S Scott
Venue:Symposium on Automated Demonstration