Mental models and human reasoning
Computers And Intractability A Guide To The Theory Of Np Completeness