From logic programming to prolog - Apt, Krzysztof (Prentice Hall, 1997)
Τομέας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων. Εργαστήριο συνδυαστικων αλγορίθμων