arXiv 2002-02-04 EN A Refinement Calculus for Logic Programs Hayes, Ian · Colvin, Robert · Hemer, David · Strooper, Paul +1
