Jiri Rohn A Short Proof of Finiteness of Murty's Principal Pivoting Algorithm. 255-256 1990 46 Math. Program. db/journals/mp/mp46.html#Rohn90