Michael Winikoff James Harland Implementing the Linear Logic Programming Language Lygon. 66-80 1995 ILPS db/conf/slp/slp95.html#WinikoffH95