Variant implication elimination rules

We can use $(\to E1)$ to write an implication in terms of disjunction and negation: ?

$$\frac{A\to B}{\neg A\vee B}(\to E1)$$