Optimizing compilation of constraint handling rules in HAL

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	503 - 531
Number of pages	29
Journal	Theory and Practice of Logic Programming
Volume	5
Issue number	4-5
DOIs	https://doi.org/10.1017/S1471068405002413
Publication status	Published - 2005

Access to Document

@article{ea05b1821a1b45d2beb06d71371dc577,

title = "Optimizing compilation of constraint handling rules in HAL",

author = "Christian Holzbaur and \{Garcia De La Banda\}, \{Maria Jose\} and Stuckey, \{Peter J\} and Duck, \{Gregory J\}",

year = "2005",

doi = "10.1017/S1471068405002413",

language = "English",

volume = "5",

pages = "503 -- 531",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "4-5",

}

TY - JOUR

T1 - Optimizing compilation of constraint handling rules in HAL

AU - Holzbaur, Christian

AU - Garcia De La Banda, Maria Jose

AU - Stuckey, Peter J

AU - Duck, Gregory J

PY - 2005

Y1 - 2005

UR - https://www.scopus.com/pages/publications/22944449032

U2 - 10.1017/S1471068405002413

DO - 10.1017/S1471068405002413

M3 - Article

SN - 1471-0684

VL - 5

SP - 503

EP - 531

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 4-5

ER -