Gabor Bodnar,
"Algorithmic tests for the normal crossing property"
, in F. Winkler: Automated Deduction in Geometry--Proc. of ADG~2002, Serie LNAI, Vol. 2930, Springer, Seite(n) 1-20, 2004, ISBN: 3-540-20927-1
Original Titel:
Algorithmic tests for the normal crossing property
Sprache des Titels:
Englisch
Original Buchtitel:
Automated Deduction in Geometry--Proc. of ADG~2002