removed unused bib

removed unused bibitems from the appnote verilog to btor