Ophthalmology

For Dextroelevation of eye, muscles acting are ?