This is BibTeX, Version 0.99c (Web2C 7.5.4) The top-level auxiliary file: all.aux The style file: named.bst Reallocated field_info (elt_size=4) to 12153 items from 5000. Database file #1: herbrandbib.bib Warning--empty booktitle in inkafuenf Warning--empty booktitle in sergetableau Warning--empty booktitle in quodlibet-cade Warning--empty booktitle in bachmair Warning--empty booktitle in waterfall Warning--empty booktitle in C26 Warning--empty booktitle in inka Warning--empty booktitle in BBH72-short Warning--empty booktitle in boyer-moore-1972 Warning--empty publisher in boyer-moore-1972 Warning--empty booktitle in boyer-moore-1973 Warning--empty booktitle in boyer-moore-1977 Warning--empty booktitle in boyer-moore-1981-authors Warning--empty publisher in boyer-moore-1981-authors Warning--empty booktitle in boyer-moore-turing-completeness-lisp Warning--empty publisher in boyer-moore-turing-completeness-lisp Warning--empty booktitle in boyer-moore-1988 Warning--empty booktitle in bmeval-1989 Warning--empty booktitle in BM90 Warning--empty booktitle in boyer-yu-1992 Warning--empty booktitle in boyer-moore-shostak Warning--empty note in boyer-2012 Warning--empty booktitle in brock-hunt-1999 Warning--empty publisher in brock-hunt-1999 Warning--empty booktitle in DBLP:conf/lics/BrotherstonS07 Warning--empty booktitle in DBLP:conf/tableaux/Brotherston05 Warning--empty booktitle in satallax Warning--empty booktitle in bundy-recursion-analysis Warning--empty booktitle in oysterclam Warning--empty publisher in rippling Warning--empty publisher in bundy-inductive-proof-planning Warning--empty publisher in science-of-reasoning Warning--empty booktitle in comonAR Warning--empty publisher in comonAR Warning--empty booktitle in darlington-1968 Warning--empty booktitle in term-rewriting-one Warning--empty publisher in term-rewriting-one Warning--empty publisher in elements Warning--empty booktitle in inductionlesshistb Warning--empty booktitle in GaSt Warning--empty publisher in GaSt Warning--empty booktitle in geseraxiomofchoice Warning--empty booktitle in inductionlesshistc Warning--empty booktitle in gogueninductionlessinduction Warning--empty booktitle in catherine-goldstein-fermat-priceton-companion-math-2008 Warning--empty publisher in catherine-goldstein-fermat-priceton-companion-math-2008 Warning--empty booktitle in fromLCFtoHOL Warning--empty booktitle in gwrta Warning--empty publisher in gwrta Warning--empty booktitle in HL02 Warning--empty booktitle in huethullotinductionlessinduction Warning--empty booktitle in hunt-swords-2009 Warning--empty booktitle in inductioncontest Warning--empty booktitle in inkanext Warning--empty booktitle in hutter-rippling Warning--empty publisher in failure-guide-induction Warning--empty booktitle in inductionlesshista Warning--empty booktitle in kapur2 Warning--empty booktitle in mutualexplicitinduction Warning--empty booktitle in rrl Warning--empty booktitle in KB70 Warning--empty booktitle in Kow74 Warning--empty booktitle in induction-no-cut Warning--empty publisher in induction-no-cut Warning--empty booktitle in inductionlesshistd Warning--empty booktitle in kwspec2 Warning--empty booktitle in chaff Warning--empty booktitle in musserinductionlessinduction Warning--empty booktitle in padoa-1913 Warning--empty booktitle in protzenlazy Warning--empty booktitle in protzenpatching Warning--empty booktitle in reddy Warning--empty booktitle in vampire01 Warning--empty publisher in stevens-rational-reconstruction Warning--empty booktitle in toyama Warning--empty booktitle in voicu-li-di Warning--empty booktitle in walthertermination Warning--empty booktitle in waltherLPAR92 Warning--empty booktitle in waltherIJCAI93 Warning--empty booktitle in waltherhandbook Warning--empty publisher in waltherhandbook Warning--empty booktitle in wirthbecker Warning--empty booktitle in wgcade Warning--empty booktitle in herbrand-handbook Warning--empty publisher in herbrand-handbook Warning--empty booktitle in zombie Warning--empty publisher in zombie Warning--empty note in boyer-moore-2012 Warning--empty booktitle in ZKK88 You've used 311 entries, 2437 wiz_defined-function locations, 2070 strings with 58585 characters, and the built_in function-call counts, 97792 in all, are: = -- 10090 > -- 3277 < -- 65 + -- 1071 - -- 990 * -- 7050 := -- 16334 add.period$ -- 1166 call.type$ -- 311 change.case$ -- 1587 chr.to.int$ -- 288 cite$ -- 400 duplicate$ -- 4558 empty$ -- 8189 format.name$ -- 1382 if$ -- 20208 int.to.chr$ -- 24 int.to.str$ -- 0 missing$ -- 317 newline$ -- 1705 num.names$ -- 980 pop$ -- 1752 preamble$ -- 1 purify$ -- 1433 quote$ -- 0 skip$ -- 3266 stack$ -- 0 substring$ -- 3256 swap$ -- 712 text.length$ -- 65 text.prefix$ -- 0 top$ -- 0 type$ -- 1994 warning$ -- 89 while$ -- 751 width$ -- 317 write$ -- 4164 (There were 89 warnings)