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