Proof Strategies in Linear Logic (1994)

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