@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}
}