Smirnov, Sprinkhuizen-Kuyper, Herik, 2002. New Version-Space Representations for Efficient Instance Retraction, in: .