Foundations for amalgamating frames and logic paradigms for knowledge representation - ALIOU b Mohamed (1993)