The normal cycle of a compact definable set
scientific article; zbMATH DE number 5186286