Automatic Generation of the Domain Module from Electronic Textbooks: Method and Validation | IEEE Journals & Magazine | IEEE Xplore