Robert Colvin, Ian J. Hayes, Paul A. Strooper. Calculating modules in contextual logic program refinement. TPLP, 8(1):1-31, 2008. [doi]
@article{ColvinHS08,
title = {Calculating modules in contextual logic program refinement},
author = {Robert Colvin and Ian J. Hayes and Paul A. Strooper},
year = {2008},
doi = {10.1017/S1471068407003043},
url = {http://dx.doi.org/10.1017/S1471068407003043},
tags = {refinement, logic programming, logic},
researchr = {https://researchr.org/publication/ColvinHS08},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {8},
number = {1},
pages = {1-31},
}