Proof strategies in linear logic (1994)

by T Tammet
Venue:Journal of Automated Reasoning