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

Βογιατζής, Δ., & Κούρτης, Ι. (2008). DPLL based SAT solver deduction techniques: πτυχιακή εργασία.

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

Βογιατζής, Δημήτρης, και Ιωάννης Κούρτης. DPLL Based SAT Solver Deduction Techniques: πτυχιακή εργασία. 2008.

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

Βογιατζής, Δημήτρης, και Ιωάννης Κούρτης. DPLL Based SAT Solver Deduction Techniques: πτυχιακή εργασία. 2008.