@misc{1692144,
    title = "Implementation of Constructive Negation in Extensional Higher-Order Logic Programming",
    authorField = "Dona, Ergys",
    year = "2017",
    school = "Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}