Disciplines of medicinal formulas for insomnia by data mining | IEEE Conference Publication | IEEE Xplore