Original language | English |
---|---|
Pages (from-to) | 623 - 667 |
Number of pages | 45 |
Journal | Theory and Practice of Logic Programming |
Volume | 5 |
Issue number | 6 |
DOIs | |
Publication status | Published - 2005 |
Checking modes of HAL programs
Maria Jose Garcia De La Banda, Warwick Harvey, Kimbal George Marriott, Peter J Stuckey, Bart Demoen
Research output: Contribution to journal › Article › Research › peer-review
2
Citations
(Scopus)