@inproceedings{
    Niemela96:ecai,
    author = {Niemel{\"a}, Ilkka},
    publisher = "John Wiley",
    title = "Implementing Circumscription Using a Tableau Method",
    booktitle = "Proceedings of the European Conference on Artificial Intelligence",
    address = "Budapest, Hungary",
    month = "August",
    note = "",
    year = "1996",
    organization = "",
    pages = "80--84"
}