Rick Evertsz The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics. [Citation Graph (1, 0)][DBLP] IJCAI, 1991, pp:22-29 [Conf]
Rick Evertsz The Development of SYLLABUS--An Interactive, Constraint-Based Scheduler for Schools and Colleges. [Citation Graph (0, 0)][DBLP] IAAI, 1991, pp:39-51 [Conf]
Rick Evertsz The Generation of `Critical Problems' by Abstract Interpretations of Student Models. [Citation Graph (0, 0)][DBLP] IJCAI, 1989, pp:483-488 [Conf]