Generating cryptomorphic axiomatizations of matroids
1980 ◽
pp. 110-113
◽