A Technique for Modular Logic Program Refinement.

Robert Colvin, Ian J. Hayes, Paul A. Strooper

Browse the full LOPSTR paper archive.