Krypton: integrating terminology and assertion (1983)

by Ronald FIKES Richard, Hector LEVESQUE
Venue:In Proceedings of AAAI-83. Washington DC