Larry Wos: visions of automated reasoning
scientific article; zbMATH DE number 7632080
scientific article