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 DS96
Warning--empty booktitle in Poole-Preferring-Most-Specific-1985
You've used 13 entries,
            2437 wiz_defined-function locations,
            702 strings with 9195 characters,
and the built_in function-call counts, 4553 in all, are:
= -- 468
> -- 183
< -- 1
+ -- 61
- -- 58
* -- 345
:= -- 764
add.period$ -- 47
call.type$ -- 13
change.case$ -- 76
chr.to.int$ -- 13
cite$ -- 16
duplicate$ -- 190
empty$ -- 359
format.name$ -- 76
if$ -- 930
int.to.chr$ -- 1
int.to.str$ -- 0
missing$ -- 12
newline$ -- 73
num.names$ -- 42
pop$ -- 77
preamble$ -- 1
purify$ -- 68
quote$ -- 0
skip$ -- 142
stack$ -- 0
substring$ -- 187
swap$ -- 30
text.length$ -- 1
text.prefix$ -- 0
top$ -- 0
type$ -- 90
warning$ -- 3
while$ -- 36
width$ -- 16
write$ -- 174
(There were 3 warnings)