A recursive theorem on matching extension. - Chi-i Chan; Tsuyoshi Nishimura (Australas. J Comb., 2000)