Naish, L. (2000). A three-valued semantic for Horn clause programs. Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518), Computer Science Conference, 2000. ACSC 2000. 23rd Australasian, Australasian computer science, 174. https://doi.org/10.1109/ACSC.2000.824399
Παραπομπή σε μορφή Chicago (17η εκδ.)Naish, L. "A Three-valued Semantic for Horn Clause Programs." Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518), Computer Science Conference, 2000. ACSC 2000. 23rd Australasian, Australasian Computer Science 2000: 174. https://doi.org/10.1109/ACSC.2000.824399.
Παραπομπή σε μορφή MLA (9th εκδ.)Naish, L. "A Three-valued Semantic for Horn Clause Programs." Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518), Computer Science Conference, 2000. ACSC 2000. 23rd Australasian, Australasian Computer Science, 2000, p. 174, https://doi.org/10.1109/ACSC.2000.824399.