Efficient resource management for linear logic proof search

Linear logic programming with an ordered context

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

Resource-distribution via Boolean constraints

ACM Transactions on Computational Logic (TOCL)

A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming

ICLP '02 Proceedings of the 18th International Conference on Logic Programming

LINK: A Proof Environment Based on Proof Nets

TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

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

Bunched Logic Programming

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

A linear logical framework

Information and Computation

A Matrix Characterization for Multiplicative Exponential Linear Logic

Journal of Automated Reasoning

Plans, Actions and Dialogues Using Linear Logic

Journal of Logic, Language and Information

Proof-theoretic and higher-order extensions of logic programming

A 25-year perspective on logic programming

A focusing inverse method theorem prover for first-order linear logic

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

Focusing the inverse method for linear logic

CSL'05 Proceedings of the 19th international conference on Computer Science Logic

Amortised resource analysis with separation logic

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

A proof-carrying file system with revocable and use-once certificates

STM'11 Proceedings of the 7th international conference on Security and Trust Management