Refining Specifications to Logic Programs.

Ian J. Hayes, R. G. Nickson, Paul A. Strooper

Browse the full LOPSTR paper archive.