An approach to the extension of a theorem prover by advanced structuring mechanismsMaksym BortinAusverkauft4,3Bewachen
