Theory and Practice of Logic Programming (2005), 5 : 623-667 Cambridge University Press
Copyright © 2005 Cambridge University Press
doi:10.1017/S1471068404002327 (About doi)
Published online by Cambridge University Press 31 Oct 2005
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=348123
Copy and paste this citation
MARIC GARCÍA DE LA BANDA,
WARWICK HARVEY,
KIM MARRIOTT,
PETER J. STUCKEY
and BART DEMOEN
(2005).
Checking modes of HAL programs. Theory and Practice of Logic Programming,
5
,
pp 623-667
doi:10.1017/S1471068404002327
doi:10.1017/S1471068404002327
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
