BIB > 5923
BIB > 10, 1444, 1497
BIB > 10, 600, 2355
BIB > 4, 10, 83, 657, 661, 5143, 5514, 66362
BIB > 7, 10, 2734
BIB > 10
BIB > 10, 82881
BIB > 2156
BIB > 5, 20, 5521, 5756
BIB > 10, 684, 1107, 1436
BIB > 10, 1014, 2624
BIB > 10, 1612, 1621