Zeilberger, D. How Berger, Felzenbaum and Fraenkel Revolutionized Covering Systems the Same Way That George Boole Revolutionized Logic. Electron. J. Combin. 2000, 8, A1.