Farkas-type results for nonconvex systems involving composite functions with applications - Nguyễn, Định (Trường Đại học Đà Lạt, 2012)