Constructive validity, Symposium on Automatic Demonstration (1968)

by D Scott