Standard reference sources in formal logic establish that modus tollens is indeed a valid rule of inference.
Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.