Decidable, logic-based knowledge representation - Patel-Schneider, Peter F. (Univ. of Toronto, Dep. of Computer Science, 1987)
Zugl.: Toronto, Univ., Diss., 1987