Rudolf Bayer Ulrich Güntzer Werner Kießling Werner Strauß Deduktions- und Datenbankunterstützung für Expertensysteme. 1-16 1987 BTW db/conf/btw/btw87.html#BayerGKS87