"New Version-Space Representations for Efficient Instance Retraction."

Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, H. Jaap van den Herik (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics