| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 3 |      | Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey: Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538 |
| 2002 | ||
| 2 | | David Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120 |
| 1999 | ||
| 1 | | Peter Ross, David Overton, Zoltan Somogyi: Making Mercury Programs Tail Recursive. LOPSTR 1999: 196-215 |
| 1 | Maria Garcia de la Banda (Maria J. García de la Banda) | [3] |
| 2 | Bart Demoen | [3] |
| 3 | Warwick Harvey | [3] |
| 4 | Kim Marriott | [3] |
| 5 | Peter Ross | [1] |
| 6 | Zoltan Somogyi | [1] [2] |
| 7 | Peter J. Stuckey | [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page