The logic theory machine, A. Newell, H. Simon (1956) ieeexplore.ieee.org 5 points by sandwichsphinx 11 hours ago