Space & congruence compression of proofs / by Andreas Fellner. 2014
Inhalt