\(\supset\)E is admissible in ``true'' relevant arithmetic
scientific article; zbMATH DE number 1228494