A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. - Alan Finlay; Lloyd Allison (ACM Trans. Program. Lang. Syst., 1993)

A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications. - Kim Marriott; Sitt Chen Chok; Alan Finlay (CP, 1998)