Decision trees in formative procedural knowledge assessment | IEEE Conference Publication | IEEE Xplore