@PhdThesis{walukiewicz03thesis,
  author = 	 {Daria Walukiewicz-Chrz{\k a}szcz},
  title =	 {Termination of Rewriting in the Calculus of
                  Constructions},
  school = 	 {Warsaw University and Universit\'e de Paris-Sud},
  year = 	 2003,
  note =         {submitted},
}