A refinement calculus for logic programs
From MaRDI portal
Publication:4452605
DOI10.1017/S1471068402001448zbMath1090.68532MaRDI QIDQ4452605
Ian J. Hayes, Robert J. Colvin, Paul A. Strooper, Ray Nickson, David Hemer
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N17: Logic programming