Per M. Jensen Bernhard Korte Complexity of Matroid Property Algorithms. 184-190 1982 11 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp11.html#JensenK82