Παραπομπή σε μορφή APA (7η εκδ.)

Κεραμύδας, Ε., & Χατζηλυγερούδης, Ι. (2010). Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Κεραμύδας, Ελευθέριος, και Ιωάννης Χατζηλυγερούδης. Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P. 2010.

Παραπομπή σε μορφή MLA (8th εκδ.)

Κεραμύδας, Ελευθέριος, και Ιωάννης Χατζηλυγερούδης. Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P. 2010.