Knowledge representation and inference system (1991)

by KRIS
Venue:SIGART Bulletin