D.__Galmiche
Connection methods in linear logic and proof nets construction
Dealing with additives in MALL proof search
Proof nets construction and automated deduction in noncommutative linear logic - extended abstract
Proof search and proof nets construction in linear logic