This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.aux
The style file: named.bst
Database file #1: herbrandbib.bib
Warning--empty booktitle in BG97b
Warning--empty booktitle in Besnard_etal_A_Conditional_Argumentation_Framework_2013
Warning--empty booktitle in DS96
Warning--empty booktitle in Kern-Isberner-Thimm-Ranking-Semantics-2012
Warning--empty booktitle in Kow74
Warning--empty booktitle in Poole-Preferring-Most-Specific-1985
Warning--empty booktitle in Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002
Warning--empty publisher in Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002
Warning--empty booktitle in Wirth_Stolzenburg_Specificity_KR2014
Warning--empty booktitle in herbrand-handbook
Warning--empty publisher in herbrand-handbook
You've used 42 entries,
            2437 wiz_defined-function locations,
            878 strings with 17511 characters,
and the built_in function-call counts, 14227 in all, are:
= -- 1463
> -- 553
< -- 4
+ -- 183
- -- 174
* -- 1060
:= -- 2389
add.period$ -- 161
call.type$ -- 42
change.case$ -- 235
chr.to.int$ -- 42
cite$ -- 53
duplicate$ -- 621
empty$ -- 1135
format.name$ -- 230
if$ -- 2916
int.to.chr$ -- 1
int.to.str$ -- 0
missing$ -- 44
newline$ -- 238
num.names$ -- 135
pop$ -- 248
preamble$ -- 1
purify$ -- 213
quote$ -- 0
skip$ -- 452
stack$ -- 0
substring$ -- 520
swap$ -- 94
text.length$ -- 4
text.prefix$ -- 0
top$ -- 0
type$ -- 274
warning$ -- 11
while$ -- 110
width$ -- 46
write$ -- 575
(There were 11 warnings)