Filtering Retrenchments into Refinements.

Richard Banach, John Derrick

Browse the full SEFM paper archive.