The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
scientific article; zbMATH DE number 5380975
scientific article