Proof Strategies in Linear Logic (1994)

by Tanel Tammet
Venue:JOURNAL OF AUTOMATED REASONING
Citations:25 - 2 self