An essential hybrid reasoning system: knowledge and symbol level accounts of krypton (1985)

by R J Brachman, V Pigman, G Hector, J Levesque
Venue:In In Proceedings of the 9th International Joint Conference on Artificial Intelligence