@inproceedings{
    NS95:ijcaiws,
    author = {Niemel{\"a}, Ilkka and Simons, P.},
    publisher = "",
    title = "Evaluating an Algorithm for Default Reasoning",
    booktitle = "Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada",
    address = "Montreal, Canada",
    month = "August",
    year = "1995",
    organization = "",
    pages = "66--72"
}