Proof search strategies in linear logic - Tammet, Tanel (Programming Methodology Group, 1993)