BIB > 10, 3727
BIB > 10, 422, 1648, 1861, 2592
BIB > 10, 12, 100, 1960, 2827
BIB > 10, 13, 22, 308, 1450, 1881, 2505
BIB > 5, 10, 60, 100, 3570, 5939, 6638, 6768
BIB > 10, 70, 376, 544, 3529, 3538, 3765
BIB > 10, 18, 5547, 5952, 6261, 6781, 6901, 85 ...
BIB > 10, 2363, 2779
BIB > 5, 10, 6119, 305631
BIB > 10
BIB > 5, 6805, 6934
BIB > 10, 2017, 3902, 3903