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] |