A refinement calculus for logic programs

Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson. A refinement calculus for logic programs. TPLP, 2(4-5):425-460, 2002.

Abstract

Abstract is missing.