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 lics/GabbayC04
Warning--empty booktitle in wollic/GabbayM07
You've used 23 entries,
            2437 wiz_defined-function locations,
            763 strings with 10259 characters,
and the built_in function-call counts, 8232 in all, are:
= -- 895
> -- 268
< -- 7
+ -- 93
- -- 82
* -- 606
:= -- 1351
add.period$ -- 89
call.type$ -- 23
change.case$ -- 125
chr.to.int$ -- 21
cite$ -- 25
duplicate$ -- 356
empty$ -- 644
format.name$ -- 113
if$ -- 1716
int.to.chr$ -- 3
int.to.str$ -- 0
missing$ -- 21
newline$ -- 132
num.names$ -- 74
pop$ -- 93
preamble$ -- 1
purify$ -- 109
quote$ -- 0
skip$ -- 285
stack$ -- 0
substring$ -- 421
swap$ -- 79
text.length$ -- 7
text.prefix$ -- 0
top$ -- 0
type$ -- 164
warning$ -- 2
while$ -- 74
width$ -- 25
write$ -- 328
(There were 2 warnings)