The logic programming paradigm A 25-year perspective - Apt, Krzysztof (Springer, 1999)
Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων.εργαστηριο συνδυαστικων αλγοριθμων