@phdthesis(nguyen00thesis, 
  author      = {Linh Anh Nguyen},
  title       = {Results on Modal Reasoning with Applications 
                 to Modal Deductive Databases},
  school      = {University of Warsaw}, 
  year        = 2000)