Repräsentation, Prüfen und Lernen von Integritätsbedingungen im MOBAL-SystemRoman EnglertVyprodánoPohlídat