Gulf War and health. Volume 7, Long-term consequences of traumatic brain injury [electronic resource] / Committee on Gulf War and Health: Brain Injury in Veterans and Long-term Health Outcomes, Board on Population Health and Public Health Practice, Institute of Medicine of the National Academies.