@InCollection{Rez20,
    Author       = "Rezus, A.",
    Year         = "2020",
    Title        = "{Tarski's Claim Thirty Years Later (2010)}",
    Editor       = "Rezus, A.",
    BookTitle    = "{Witness Theory - Notes on $\lambda$-calculus and Logic}",
    Series       = "Studies in Logic",
    Number       = "84",
    Pages        = "217-225",
    Publisher    = "College Publications",
    Comment      = "TPTPRef"
}