(TeX-add-style-hook
 "cpp"
 (lambda ()
   (LaTeX-add-bibitems
    "AltenkirchK16"
    "Harper03tocl"
    "Crary:ATAPL"
    "Rabe:2013"
    "AbelV14"
    "NarbouxU08"
    "SORENSEN199735"
    "ABEL20083"
    "Joachimski2003"
    "girardLafontTaylor"
    "BowmanA15"
    "Ahmed15"
    "NeisHKMDV15"
    "Perconti14"
    "DeBruijn91lf"
    "Statman85"
    "Coquand91"
    "BentonH10"
    "Altenkirch93"
    "Urban2011"
    "PientkaC15"
    "BaeldeCGMNTW14"
    "hoabella"
    "Pientka07"
    "FMP17"
    "TIP"
    "FeltyMP15"
    "DBLP:journals/corr/CervesatoC15"
    "Wang:2013"
    "NOM-JAR"
    "POPL-JAR"
    "companion"
    "DonnellyX07"
    "Cave:POPL12"
    "Aydemir05TPHOLs"
    "FeltyMomigliano:JAR10"
    "PierceFirstBook"
    "GacekMillerNadathur:JAR12"
    "Gacek:IJCAR08"
    "girardLafontTaylor:proofsAndTypes"
    "Harper93jacm"
    "HarperLicata:JFP07"
    "Howe"
    "MMF07"
    "MartinLof85"
    "Miller91jlc"
    "Pfenning01book"
    "MillerP99"
    "Pientka:PPDP08"
    "Pientka:CADE15"
    "Pientka:IJCAR10"
    "Pientka:POPL08"
    "CaveP15"
    "Schuermann:ESOP08"
    "Schurmann00phd"
    "Appel:2001"
    "Schurmann:LICS08"
    "schurmann03tphols"
    "MomiglianoAC02"
    "CSL"
    "TwelfSP"
    "Crary09"
    "TPTP"
    "SATLIB")))

