The logic architecture : design computation and cognition - Mitchell, William (The MIT Press, 1990)