Efficient implementation of a linear logic programming language

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

Proceedings of the 17th International Conference on Logic Programming

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic

lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Higher-order linear logic programming of categorial deduction

EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics

Agents via Mixed-Mode Computation in Linear Logic

Annals of Mathematics and Artificial Intelligence

P#: a concurrent prolog for the .NET framework

Software—Practice & Experience

LMNtal as a hierarchical logic programming language

Theoretical Computer Science

Compact proof certificates for linear logic

CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs