This is BibTeX, Version 0.99c (Web2C 7.5.4)
The top-level auxiliary file: all.aux
The style file: spbasic.bst
Database file #1: specificity.bib
Reallocated wiz_functions (elt_size=4) to 6000 items from 3000.
Warning--empty booktitle in Besnard_etal_A_Conditional_Argumentation_Framework_2013
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--missing publisher in Prakken-Vreeswijk-Logics-for-Defeasible-Argumentation-2002
Warning--empty booktitle in Wirth_Stolzenburg_Specificity_KR2014
Warning--empty booktitle in herbrand-handbook
Warning--missing publisher in herbrand-handbook
You've used 38 entries,
            3270 wiz_defined-function locations,
            922 strings with 14447 characters,
and the built_in function-call counts, 39954 in all, are:
= -- 4167
> -- 830
< -- 34
+ -- 385
- -- 253
* -- 2910
:= -- 4862
add.period$ -- 33
call.type$ -- 38
change.case$ -- 289
chr.to.int$ -- 38
cite$ -- 47
duplicate$ -- 4005
empty$ -- 3319
format.name$ -- 369
if$ -- 8354
int.to.chr$ -- 1
int.to.str$ -- 1
missing$ -- 377
newline$ -- 124
num.names$ -- 163
pop$ -- 1151
preamble$ -- 1
purify$ -- 234
quote$ -- 0
skip$ -- 1392
stack$ -- 0
substring$ -- 3763
swap$ -- 1786
text.length$ -- 6
text.prefix$ -- 0
top$ -- 0
type$ -- 312
warning$ -- 9
while$ -- 263
width$ -- 0
write$ -- 438
(There were 9 warnings)