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

Καββαδίας, Δ., Σιδέρη, Μ., & Σταυρόπουλος, Η. Χ. (1998). On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17. Computer Technology Institute.

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

Καββαδίας, Δημήτρης, Μάρθα Σιδέρη, και Ηλίας Χ Σταυρόπουλος. On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17. Patras Greece: Computer Technology Institute, 1998.

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

Καββαδίας, Δημήτρης, et al. On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17. Computer Technology Institute, 1998.