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

(1995) International Logic Programming Conference Portland Oregon 1995 MIT Press  

Languages mentioned Lygon {1995} Linear Logic Programming Language