Selecting Techniques for Antidifferentiation