A programming notation for tactical reasoning (1984)

by D Schmidt
Venue:7th International Conference on Automated Deduction. Springer-Verlag, LNCS Volume 170