The Little Thoughts Of Thinking Machines (1983) [pdf]www-formal.stanford.edu2 pointsoptimalsolver7 months ago