Deduction-based refinement planning (1996)

by Werner Stephan, Susanne Biundo
Venue:In AIPS