@inproceedings{mci/Richter2009,
author = {Richter, Dirk AND Zimmermann, Wolf},
title = {Variablenelimination für symbolische Modelle},
booktitle = {Informatik 2009 – Im Focus das Leben},
year = {2009},
editor = {Fischer, Stefan AND Maehle, Erik AND Reischuk, Rüdiger} ,
pages = { 360-360 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}