Automated proof planning for instructional design (2001)

by E Melis, C Glasmacher, C Ullrich, P Gerjets
Venue:In Annual conference of the