@PhdThesis{rych:92,
  author =       "Piotr Rychlik",
  title =        "Unifying Approach to Non-Monotonic Reasoning (Theory and Implementation)",
  school =       "Institute of Computer Science, Polish Academy of Sciences",
  year =         1992,
  type =         "{Ph.D}. dissertation",
  address =      "Warsaw"
}