Αυτόματη παραγωγή ασκήσεων για διδασκαλία της λογικής ως γλώσσας αναπαράστασης γνώσης - Πολιτοπούλου, Βασιλική ([χ.ό.], 2008)