Jean-Yves Marion. From Multiple Sequent for Additive Linear Logic to Decision Procedures for Free Lattices. Theoretical Computer Science, 224(1-2):157-172, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.