@masterthesis{2866399,
    title = "Performance optimization on Declarative Points-to Analysis using the Souffle Datalog Engine",
    authorField = "Ζήσης, Χρήστος",
    year = "2019",
    school = "Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}