@misc{MATROID0.MIZ,
  AUTHOR = {Bancerek, Grzegorz and Shidama, Yasunari},
  TITLE = {Introduction to Matroids},
  NOTE = {This article was done under the Agreement of Cooperation between
     Bialystok Technical University and Shinshu University},
  SECTION1 = {Definition by Independent Sets},
  SECTION2 = {Examples},
  SECTION3 = {Maximal Independent Subsets, Ranks, and Basis},
  SECTION4 = {Dependence on a Set, Spans, and Cycles},
  ADDRESS1 = {Bia{\l}ystok Technical University},
  ADDRESS2 = {Shinshu University, Nagano},
  DAY = {30},
  MONTH = {July},
  YEAR = {2008},
  SUMMARY = {The paper includes elements of the theory
    of matroids \cite{Welsh:1976}. The formalization is done
    according to \cite{Lipski}.}}

@Book{Welsh:1976,
  author =	 {Welsh, D. J. A.},
  title = 	 {Matroid theory},
  publisher = 	 {Academic Press},
  year = 	 {1976},
  address =	 {London, New York, San Francisco}
}

@InBook{Lipski,
  author =	 {Witold Lipski},
  title = 	 {Kombinatoryka dla programist\'ow},
  chapter = 	 {Matroidy},
  publisher = 	 {Wydawnictwo Naukowo-Techniczne},
  year = 	 {1982},
  pages =	 {163--169}
}

