Dependent deletion a refinement of backward subsumption - Suttner, Christian B. (Forschungsberichte Künstliche Intelligenz, 1993)