Vaccination against Trichinella spiralis in mice using antigens from different isolates