Knowledge embedding in the description system omega (1980)

by G Attardi, C Hewitt
Venue:Presented at the American Association for Artificial Intelligence Conf