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.
@article{HayesCHSN02,
title = {A refinement calculus for logic programs},
author = {Ian J. Hayes and Robert Colvin and David Hemer and Paul A. Strooper and Ray Nickson},
year = {2002},
tags = {refinement, logic programming, logic},
researchr = {https://researchr.org/publication/HayesCHSN02},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {2},
number = {4-5},
pages = {425-460},
}