Generic tasks in knowledge-based reasoning: high level building blocks for expert systems design - Chandrasekaran, B (IEEE Expert, 1986)