Joshua Cook, Collin F. Lynch, Andrew Hicks, Behrooz Mostafavi: Task and Timing: Separating Procedural and Tactical Knowledge in Student Models. EDM 2017