TY  - RPRT
TI  - A Refinement Calculus for Logic Programs
AU  - Ian Hayes
AU  - Robert Colvin
AU  - David Hemer
AU  - Paul Strooper
AU  - Ray Nickson
PY  - 2002
UR  - https://arxiv.org/abs/cs/0202002
ID  - cs/0202002
ER  -