A hybrid, decidable, logic-based knowledge representation system.

Peter F. Patel-Schneider A hybrid, decidable, logic-based knowledge representation system. 64-77 1987 3 Computational Intelligence db/journals/ci/ci3.html#Patel-Schneider87