KRIS: Knowledge representation and inference system—System description (1991)

by F BAADER, B HOLLUNDER
Venue:ACM SIGART Bull