@inproceedings{
    KeiNie:lnai05_ini,
    editor = "D. Seipel, M. Hanus, U. Geske and Bartenstein, O.",
    author = {Kein{\"a}nen, Misa and Niemel{\"a}, Ilkka},
    publisher = "Springer-Verlag",
    title = "Solving Alternating {Boolean} Equation Systems in Answer Set Programming",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Applications of Declarative Programming and Knowledge Management",
    year = "2005",
    month = "",
    volume = "3392",
    flags = "SA-53695, copy",
    address = "",
    pages = "134--148"
}
AUTHORS:
