Data up to Jan 2025
Programming and Utilizing Digital Computers
1963 • 43 citations
A Formal Deductive Problem-Solving System
1968 • 32 citations
GENERALITY AND GPS
1967 • 13 citations
The fortran deductive system
1969 • 5 citations