Τσοπανάκης, Κ., & Τσιρίδη, Α. (2005). Handling arithmetic binary and non-binary constraints in quantified constraint satisfaction problems: μεταπτυχιακή διατριβή. Πανεπιστήμιο Αιγαίου, Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων.
Παραπομπή σε μορφή Chicago (17η εκδ.)Τσοπανάκης, Κώστας, και Αγγελίνα Τσιρίδη. Handling Arithmetic Binary and Non-binary Constraints in Quantified Constraint Satisfaction Problems: μεταπτυχιακή διατριβή. Καρλόβασι, Σάμος: Πανεπιστήμιο Αιγαίου, Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων, 2005.
Παραπομπή σε μορφή MLA (9th εκδ.)Τσοπανάκης, Κώστας, και Αγγελίνα Τσιρίδη. Handling Arithmetic Binary and Non-binary Constraints in Quantified Constraint Satisfaction Problems: μεταπτυχιακή διατριβή. Πανεπιστήμιο Αιγαίου, Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων, 2005.