Quantific Definit & Normaliz Ostl P door A. Giannakidou