Επαγωγικός λογικός προγραμματισμός και Progol - Παπαϊωάννου, Αλκαίος ([χ.ό.], 2004)
Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών "Μαθηματικά των Υπολογιστών και των Αποφάσεων"