Developing Logic Programs from Specifications Using Stepwise Refinement

Cite this paper

@inproceedings{Colvin2004DevelopingLP, title={Developing Logic Programs from Specifications Using Stepwise Refinement}, author={Robert Colvin and Lindsay Groves and Ian J. Hayes and David Hemer and Ray Nickson and Paul A. Strooper}, booktitle={Program Development in Computational Logic}, year={2004} }