Knowledge Representation and Inference System (1991)

by KRIS
Venue:SIGART Bulletin