@masterthesis{1838194,
    title = "Proof Complexity: A Tableau Perspective",
    authorField = "Παπαμακάριος, Θεόδωρος",
    year = "2017",
    school = "Κατεύθυνση Μαθηματική Λογική, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών"
}