Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Unfolding for CHR programs
File(s)
1307.0679.pdf (473.45 KB)
Accepted version
Author(s)
Gabbrielli, M
Meo, MC
Tacchella, P
Wiklicky, H
Type
Journal Article
Editor(s)
Niemelä, I
Date Issued
2013-07-02
Citation
Theory and Practice of Logic Programming, 2013
URI
DOI
Journal / Book Title
Theory and Practice of Logic Programming
Copyright Statement
© Cambridge University Press 2013. This paper has been accepted for publication and will appear in a revised form, subsequent to peer-review and/or editorial input by Cambridge University Press. Theory and Practice of Logic Programming (2013) http://journals.cambridge.org/action/displayJournal?jid=TLP
License URL
Description
10.06.14 KB. OK to add accepted version to spiral.
Notes
Published Open Access: arXiv:1307.0679
Publication Status
Accepted