KRIS: K-nowledge R-epresentation and I-nference S-ystem -System Description-

@techreport{pub6247,
    author = {

Baader, Franz
 and 

Hollunder, Bernhard
},
    title = {KRIS: K-nowledge R-epresentation and I-nference S-ystem -System Description-},
    series = {DFKI Technical Memos (TM)},
    year = {1990},
    volume = {90-03},
    pages = {15},
    institution = {DFKI}
}