This is BibTeX, Version 0.99c (Web2C 7.5.6)
The top-level auxiliary file: ws-ahmed-karl.aux
The style file: abbrv.bst
Database file #1: references.bib
Warning--entry type for "AIIDE125470" isn't style-file defined
--line 316 of file references.bib
You're missing a field name---line 578 of file references.bib
 : 
 : %isbn = {0321295358},
(Error may have been on previous line)
I'm skipping whatever remains of this entry
Repeated entry---line 650 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 663 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 706 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
You're missing a field name---line 720 of file references.bib
 : 
 : %isbn = {0321295358},
(Error may have been on previous line)
I'm skipping whatever remains of this entry
Repeated entry---line 783 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 796 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 839 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
You're missing a field name---line 853 of file references.bib
 : 
 : %isbn = {0321295358},
(Error may have been on previous line)
I'm skipping whatever remains of this entry
I was expecting a `{' or a `('---line 916 of file references.bib
 : 
 : http://www.philomath.uqam.ca/doc/LogicalGames.pdf
(Error may have been on previous line)
I'm skipping whatever remains of this entry
Repeated entry---line 918 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 931 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 974 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
You're missing a field name---line 988 of file references.bib
 : 
 : %isbn = {0321295358},
(Error may have been on previous line)
I'm skipping whatever remains of this entry
Repeated entry---line 1050 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 1063 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 1106 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
You're missing a field name---line 1120 of file references.bib
 : 
 : %isbn = {0321295358},
(Error may have been on previous line)
I'm skipping whatever remains of this entry
Repeated entry---line 1183 of file references.bib
 : @article{lieber-specker:partial-2
 :                                  ,
I'm skipping whatever remains of this entry
Repeated entry---line 1196 of file references.bib
 : @inproceedings{scg-bionetics
 :                             ,
I'm skipping whatever remains of this entry
Repeated entry---line 1239 of file references.bib
 : @book{Kleinberg:1051910
 :                        ,
I'm skipping whatever remains of this entry
You're missing a field name---line 1253 of file references.bib
 : 
 : %isbn = {0321295358},
(Error may have been on previous line)
I'm skipping whatever remains of this entry
Name 1 in "Popper, Karl Raimund," has a comma at the end for entry nla.cat-vn1027910
while executing---line 1049 of file abbrv.bst
Warning--empty publisher in sep-logic-games
Warning--empty year in ilprints1051
Warning--empty publisher in sep-logic-dialogical
Name 1 in "Popper, Karl Raimund," has a comma at the end for entry nla.cat-vn1027910
while executing---line 1090 of file abbrv.bst
Warning--empty publisher in sep-logic-if
You've used 35 entries,
            2118 wiz_defined-function locations,
            720 strings with 10670 characters,
and the built_in function-call counts, 11824 in all, are:
= -- 1156
> -- 559
< -- 8
+ -- 225
- -- 184
* -- 745
:= -- 1945
add.period$ -- 125
call.type$ -- 35
change.case$ -- 193
chr.to.int$ -- 0
cite$ -- 39
duplicate$ -- 470
empty$ -- 975
format.name$ -- 184
if$ -- 2544
int.to.chr$ -- 0
int.to.str$ -- 35
missing$ -- 30
newline$ -- 187
num.names$ -- 78
pop$ -- 255
preamble$ -- 1
purify$ -- 158
quote$ -- 0
skip$ -- 325
stack$ -- 0
substring$ -- 562
swap$ -- 109
text.length$ -- 8
text.prefix$ -- 0
top$ -- 0
type$ -- 132
warning$ -- 4
while$ -- 108
width$ -- 37
write$ -- 408
(There were 24 error messages)