| |
| 1998 | ||
|---|---|---|
| 2 | EE | Kim Marriott, Sitt Chen Chok, Alan Finlay: A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. CP 1998: 340-354 |
| 1993 | ||
| 1 | EE | Alan Finlay, Lloyd Allison: A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. ACM Trans. Program. Lang. Syst. 15(1): 206-208 (1993) |
| 1 | Lloyd Allison | [1] |
| 2 | Sitt Chen Chok | [2] |
| 3 | Kim Marriott | [2] |