Therapy planning as constraint satisfaction: a computer-based antiretroviral therapy advisor for the management of HIV. - D. Scott Smith; John Y. Park; Mark A. Musen (AMIA, 1998)