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

Βογιατζής, Δ., Κούρτης, Ι., & Στεργίου, Κ. (2015). DPLL based SAT solver deduction techniques.

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

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

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

Βογιατζής, Δημήτρης, et al. DPLL Based SAT Solver Deduction Techniques. 2015.