| |
| 2000 | ||
|---|---|---|
| 2 | EE | Andrew Heaton, Patricia M. Hill, Andy King: Abstract Domains for Universal and Existential Properties. ESOP 2000: 150-164 |
| 1997 | ||
| 1 | EE | Andrew Heaton, Patricia M. Hill, Andy King: Analysis of Logic Programs with Delay. LOPSTR 1997: 148-167 |
| 1 | Patricia M. Hill | [1] [2] |
| 2 | Andy King | [1] [2] |