@article{
    SNS2002:aij_ini,
    author = {Simons, Patrik and Niemel{\"a}, Ilkka and Soininen, Timo},
    volume = "138",
    title = "Extending and Implementing the Stable Model Semantics",
    journal = "Artificial Intelligence",
    number = "1--2",
    month = "",
    note = "",
    flags = "SA-53695",
    year = "2002",
    pages = "181--234"
}
AUTHORS:
