## Nicolas Guenot

*Focused Proof Search for Linear Logic in the Calculus of Structures*

ICLP, 2010.

@inproceedings{ICLP-2010-Guenot10, author = "Nicolas Guenot", booktitle = "{Technical Communications of the 26th International Conference on Logic Programming}", doi = "10.4230/LIPIcs.ICLP.2010.84", isbn = "978-3-939897-17-0", pages = "84--93", publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}", series = "{Leibniz International Proceedings in Informatics}", title = "{Focused Proof Search for Linear Logic in the Calculus of Structures}", volume = 7, year = 2010, }