Contextual and data refinement for the refinement calculus for logic programs

1. http://espace.library.uq.edu.au/view/UQ:106036