author = {G. Bodnar},}
title = {{Algorithmic tests for the normal crossing property}},
booktitle = {{Automated Deduction in Geometry--Proc. of ADG~2002}},
language = {english},
series = {LNAI},
volume = {2930},
pages = {1--20},
publisher = {Springer},
isbn_issn = {ISBN: 3-540-20927-1},
year = {2004},
editor = {F. Winkler},
refereed = {yes},
length = {20}