![](/img/cover-not-exists.png)
A refinement calculus for logic programs
HAYES, IAN, COLVIN, ROBERT, HEMER, DAVID, STROOPER, PAUL, NICKSON, RAYVolume:
2
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/s1471068402001448
Date:
July, 2002
File:
PDF, 351 KB
english, 2002