A Refinement Calculus for Logic Programs

Cite this paper

@article{Hayes2002ARC, title={A Refinement Calculus for Logic Programs}, author={Ian J. Hayes and Robert Colvin and David Hemer and Paul A. Strooper and Ray Nickson}, journal={TPLP}, year={2002}, volume={2}, pages={425-460} }