Kent A. Spackman: Normal forms for description logic expressions of clinical concepts in SNOMED RT. AMIA 2001