@masterthesis{1320890,
    title = "Annotated sequent systems for linear temporal logic",
    authorField = "Κοκκίνης, Ιωάννης",
    year = "2015",
    school = "Βιβλιοθήκη Σχολής Θετικών Επιστημών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}