Uniform proofs of order independence for various strategy elimination procedures - Apt, K.R. (2013)
Contributions to Theoretical Economics