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