An adaptive activity sequencing instrument to enhance e-learning: an integrated application of overlay user model and mathematical programming on the Web | IEEE Conference Publication | IEEE Xplore