This is BibTeX, Version 0.99c (TeX Live 2009/Debian)
The top-level auxiliary file: onward.aux
The style file: abbrvnat.bst
Database file #1: references.bib
Warning--entry type for "AIIDE125470" isn't style-file defined
--line 501 of file references.bib
Repeated entry---line 849 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 862 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 905 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
Repeated entry---line 982 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 995 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 1038 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
Repeated entry---line 1115 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 1128 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 1171 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
Repeated entry---line 1247 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 1260 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 1303 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
Repeated entry---line 1380 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 1393 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 1436 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
Warning--to sort, need author or key in eterna
Warning--to sort, need author or key in polymath
Warning--to sort, need author or key in CurrentImpl
Name 1 in "Popper, Karl Raimund," has a comma at the end for entry nla.cat-vn1027910
while executing---line 1347 of file abbrvnat.bst
Name 1 in "Popper, Karl Raimund," has a comma at the end for entry nla.cat-vn1027910
while executing---line 1347 of file abbrvnat.bst
Warning--to sort, need author or key in harvard-genome-sequencing
Warning--empty year in CurrentImpl
Warning--empty year in harvard-genome-sequencing
Warning--empty year in polymath
Warning--empty publisher in sep-logic-games
Warning--empty publisher in sep-logic-dialogical
Warning--empty institution in SGIntro
Name 1 in "Popper, Karl Raimund," has a comma at the end for entry nla.cat-vn1027910
while executing---line 1429 of file abbrvnat.bst
Name 1 in "Popper, Karl Raimund," has a comma at the end for entry nla.cat-vn1027910
while executing---line 1429 of file abbrvnat.bst
Warning--empty publisher in sep-logic-if
You've used 40 entries,
            2773 wiz_defined-function locations,
            862 strings with 12223 characters,
and the built_in function-call counts, 17663 in all, are:
= -- 1662
> -- 887
< -- 33
+ -- 311
- -- 270
* -- 1301
:= -- 2683
add.period$ -- 182
call.type$ -- 40
change.case$ -- 207
chr.to.int$ -- 39
cite$ -- 95
duplicate$ -- 847
empty$ -- 1518
format.name$ -- 324
if$ -- 3812
int.to.chr$ -- 2
int.to.str$ -- 1
missing$ -- 33
newline$ -- 258
num.names$ -- 150
pop$ -- 473
preamble$ -- 1
purify$ -- 169
quote$ -- 0
skip$ -- 626
stack$ -- 0
substring$ -- 433
swap$ -- 108
text.length$ -- 7
text.prefix$ -- 0
top$ -- 0
type$ -- 410
warning$ -- 11
while$ -- 144
width$ -- 0
write$ -- 626
(There were 19 error messages)