paper
5457
1980
5855
1980
5458
1980
5904
1999
5376
1992
5377
1992
5378
1980
5379
5380
1992
5381
1992
5389
1983
5390
1993
5116
1992
5393
1977
5117
5394
1979
5118
5402
5120
1992