Terminological Cycles in KL-ONE-based Knowledge Representation Languages (1990)

by F Baader
Venue:Proceedings of the 8 th National Conference on Artificial Intelligence, AAAI-90