Zverovich
,
V. (1993). A proof of Woodall's conjecture on the binding number