pdfformat: 

@InProceedings{guenot:LIPIcs:2010:2586, author = {Nicolas Guenot}, title = {{Focused Proof Search for Linear Logic in the Calculus of Structures}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {8493}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897170}, ISSN = {18688969}, year = {2010}, volume = {7}, editor = {Manuel Hermenegildo and Torsten Schaub}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2586}, URN = {urn:nbn:de:0030drops25868}, doi = {10.4230/LIPIcs.ICLP.2010.84}, annote = {Keywords: Proof theory, focusing, proof search, deep inference, linear logic} }
Keywords:  Proof theory, focusing, proof search, deep inference, linear logic  
Seminar:  Technical Communications of the 26th International Conference on Logic Programming  
Issue date:  2010  
Date of publication:  2010 