A Computational Logic Handbook - Moore, J. Strother; Boyer, Robert (Academic Press, 1988)
Τομέας Εφαρμογών της Επιστήμης των Υπολογιστών. Εργαστήριο Συνδυαστικών Αλγορίθμων