Foundations of Proof Search Strategies Design in Linear Logic.

Didier Galmiche, Guy Perrier

Browse the full LFCS paper archive.