Logic programming in affine logic. (1995) postscript available here
last updated 1 Dec 1995 F.Soddell@latrobe.edu.au