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

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