International Logic Programming Conference Portland Oregon 1995 MIT Press

• Winikoff, Michael and James A. Harland, (1995) Winikoff, Michael and James A. Harland, "Implementing the Linear Logic Programming Language Lygon"