Calculating modules in contextual logic program refinement
From MaRDI portal
Publication:5437648
DOI10.1017/S1471068407003043zbMath1128.68015MaRDI QIDQ5437648
Ian J. Hayes, Robert J. Colvin, Paul A. Strooper
Publication date: 21 January 2008
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N17: Logic programming