TY - JOUR AU - Kindermann, Dirk IS - 5 JA - Synthese PB - Springer Verlag PY - 2019 TI - Knowledge embedded ER -