Καμμάς, Π. (2004). Τεχνικές εύρεσης ανω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησιμότητας λογικών τύπων boole: πτυχιακή εργασία. Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών.
Παραπομπή σε μορφή Chicago (17η εκδ.)Καμμάς, Παντελής. Τεχνικές εύρεσης ανω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησιμότητας λογικών τύπων Boole: πτυχιακή εργασία. Καρλόβασι, Σάμος: Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών, 2004.
Παραπομπή σε μορφή MLA (9th εκδ.)Καμμάς, Παντελής. Τεχνικές εύρεσης ανω και κάτω φραγμάτων στο κατώφλι μη-ικανοποιησιμότητας λογικών τύπων Boole: πτυχιακή εργασία. Πανεπιστήμιο Αιγαίου, Τμήμα Μαθηματικών, 2004.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.