This is BibTeX, Version 0.99c (Web2C 7.5.4) The top-level auxiliary file: all.aux The style file: cpsnamedwithapalikesorting.bst Reallocated field_info (elt_size=4) to 12524 items from 5000. Database file #1: herbrandbib.bib Reallocated str_pool (elt_size=1) to 130000 items from 65000. Warning--empty booktitle in sergetableau Warning--empty booktitle in inkafuenf 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 note in boyer-2012 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-moore-shostak Warning--empty booktitle in boyer-yu-1992 Warning--empty booktitle in brock-hunt-1999 Warning--empty publisher in brock-hunt-1999 Warning--empty booktitle in DBLP:conf/tableaux/Brotherston05 Warning--empty booktitle in DBLP:conf/lics/BrotherstonS07 Warning--empty booktitle in satallax Warning--empty publisher in bundy-inductive-proof-planning Warning--empty publisher in science-of-reasoning Warning--empty booktitle in bundy-recursion-analysis Warning--empty booktitle in oysterclam Warning--empty publisher in rippling 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 booktitle in DF03-CADE-19 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 grundlagen-der-geometrie Warning--empty publisher in grundlagen-der-geometrie Warning--empty booktitle in hilbert-grundlagen-logik Warning--empty booktitle in HL02 Warning--empty booktitle in huethullotinductionlessinduction Warning--empty booktitle in hunt-swords-2009 Warning--empty booktitle in hutter-rippling Warning--empty booktitle in hutter-cade-nancy Warning--empty booktitle in inductioncontest Warning--empty booktitle in inkanext 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 isabellesevenhundred Warning--empty publisher in isabellesevenhundred Warning--empty booktitle in protzenlazy Warning--empty booktitle in protzenpatching Warning--empty booktitle in reddy Warning--empty booktitle in vampire01 Warning--empty booktitle in waterfallfirst 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 zombie Warning--empty publisher in zombie Warning--empty note in boyer-moore-2012 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 ZKK88 You've used 342 entries, 1936 wiz_defined-function locations, 2134 strings with 67613 characters, and the built_in function-call counts, 111708 in all, are: = -- 10967 > -- 3479 < -- 363 + -- 1192 - -- 1048 * -- 8854 := -- 19832 add.period$ -- 1210 call.type$ -- 342 change.case$ -- 2066 chr.to.int$ -- 318 cite$ -- 439 duplicate$ -- 5092 empty$ -- 8557 format.name$ -- 1554 if$ -- 21861 int.to.chr$ -- 25 int.to.str$ -- 0 missing$ -- 357 newline$ -- 1810 num.names$ -- 1073 pop$ -- 2321 preamble$ -- 1 purify$ -- 1898 quote$ -- 0 skip$ -- 3350 stack$ -- 0 substring$ -- 5700 swap$ -- 665 text.length$ -- 64 text.prefix$ -- 0 top$ -- 0 type$ -- 1828 warning$ -- 97 while$ -- 826 width$ -- 0 write$ -- 4519 (There were 97 warnings)