Modeling and Consistency Checking Based on Category for Web Navigation Behavior. - Xin-lin Zhang; Huai-kou Miao; Hong-wei Zeng (ICCMS, 2009)