@techreport{
    rych:00,
    author = "Rychlik, Piotr",
    title = "Translating defaults into circumscription",
    year = "2000",
    number = "919",
    address = "Warsaw",
    type = "{IPI PAN} Research Report",
    institution = "Institute of Computer Science, Polish Academy of Sciences"
}