@MISC{DICKSON.MIZ,
  AUTHOR = {Lee, Gilbert and Rudnicki, Piotr},
  TITLE = {Dickson's Lemma},
  SECTION1 = {Preliminaries},
  SECTION2 = {More on Ordering Relations},
  SECTION3 = {Foundedness Properties},
  DAY = {12},
  MONTH = {March},
  YEAR = {2002},
  ADDRESS1 = {University of Alberta\\Edmonton},
  ADDRESS2 = {University of Alberta\\Edmonton},
  SUMMARY = {We present a Mizar formalization of the proof of Dickson's lemma
  following \cite{Becker93}, chapters 4.2 and 4.3.}}

