A short proof of finiteness of Murty's principal pivoting algorithm
scientific article; zbMATH DE number 4123548