Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων Διπλωματική εργασία. - Ματσούκας, Σπύρος (Τμημα Η/Υ. Πτυχιακές Εργασίες., 1994)