TY - RPRT TI - The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture AU - Doron Zeilberger PY - 1995 UR - https://arxiv.org/abs/math/9506215 ID - math/9506215 ER -