@Article{BPT14,
    Author       = "Blanchette, J. and Popescu, A. and Traytel, D.",
    Year         = "2014",
    Title        = "{Abstract Completeness}",
    Journal      = "Archive of Formal Proofs",
    Note         = "http://isa-afp.org/entries/Abstract_Completeness.shtml",
    Comment      = "TPTPRef"
}