Knowledge Representation and Inference System|system description. Technical Memo TM-90-13, Deutsches Forschungszentrum fur Kunstliche Intelligenz (1990)

by KRIS