Invited Presentation:
Linear Logic as a Logic Programming Language
Conference Home Page