Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996 (IEEE Computer Society Press, 1996)
περιέχει βιβλιογραφικές αναφορές Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών