Implementing the Linear Logic Programming Language Lygon (1995)

by M Winikoff, J Harland
Venue:in Proceedings of the International Logic Programming Symposium 66-80