@Article{Bla15,
    Author       = "Blanchette, J.",
    Year         = "2015",
    Title        = "{The Editor's Corner}",
    Journal      = "AAR Newsletter",
    Volume       = "112",
    Note         = "http://www.aarinc.org/Newsletters/112-2015-09.html",
    Comment      = "TPTPRef"
}

@PhDThesis{Bla15-PhD,
    Author       = "Blanchette, J.",
    Year         = "2015",
    Title        = "{Automatic Proofs and Refutations for Higher-Order Logic}",
    School       = "Technische Universit{\"a}t M{\"u}nchen Lehrstuhl f{\"u}r
                    Logik und Verifikation",
    Address      = "Munich, Germany"
}