| |
| 2004 | ||
|---|---|---|
| 3 | EE | 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 | EE | 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] |