BIB > 10, 2011, 2559
BIB > 12, 22755
BIB > 10, 18, 31, 36, 99, 1350, 1399, 2210
BIB > 10, 89, 2510, 3116, 11600
BIB > 9, 10, 312, 2163, 2557
BIB > 10, 3279, 3714
BIB > 5, 10, 2487, 6732
BIB > 5, 10, 18, 6887
BIB > 10, 82782
BIB > 8, 529, 1384, 1419, 1764, 218305631
BIB > 10, 91, 2224
BIB > 10, 1473, 1818, 1843, 3737