https://9dok.net/document/zlg5v7jo-variablenelimination-für-symbolische-modelle.html