1970/09/01 by H. Blaine Lawson · 15 citationsComputer Science · #Computability, Logic, AI Algorithms
paper · doi:10.1007/bf01404649