Gaya APA

Detection and analysis of some redundancies in linear logic sequent proofs . (2014). : .

Gaya MLA

Detection and analysis of some redundancies in linear logic sequent proofs . . : , 2014. Text.