Important issues in knowledge representation - Woods, W A (Proc IEEE, 1986)