A Relational Programming System with Inferred Representations. - Dave Cattrall; Colin Runciman (PLILP, 1992)

Widening the Representation Bottleneck: A Functional Implementation of Relational Programming. - Dave Cattrall; Colin Runciman (FPCA, 1993)

An Interaction-Avoiding Call Procesing Model. - Dave Cattrall; G. Howard; D. Jordan; S. Buj (FIW, 1995)