Higher order concepts in a tractable knowledge representation - Wrobel, Stefan (1987)