@misc{3413182,
    title = "Formalized Proofs of the Extension of Consistent Approximation Fixpoint Theory",
    authorField = "ΠΑΝΑΓΙΩΤΟΠΟΥΛΟΣ, ΓΕΩΡΓΙΟΣ",
    year = "2024",
    school = "Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}