Werner Stephan, Susanne Biundo: Deduction-Based Refinement Planning. AIPS 1996: 213-220