Theory and Practice of Logic Programming (2008), 8 : 1-31 Cambridge University Press
doi:10.1017/S1471068407003043 (About doi)
Published online by Cambridge University Press 15 May 2007
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=1459272
Copy and paste this citation
ROBERT COLVIN,
IAN J. HAYES
and PAUL STROOPER
(2008).
Calculating modules in contextual logic program refinement. Theory and Practice of Logic Programming,
8
,
pp 1-31
doi:10.1017/S1471068407003043
doi:10.1017/S1471068407003043
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
