@inproceedings{
    KeiNie:inap04,
    editor = "D. Seipel, M. Hanus, U. Geske and Bartenstein, O.",
    author = {Kein{\"a}nen, Misa and Niemel{\"a}, Ilkka},
    publisher = {Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r Informatik},
    title = "Solving Alternating Boolean Equation Systems in Answer Set Programming",
    series = "Technical Report",
    booktitle = "Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004)",
    year = "2004",
    month = "April",
    volume = "327",
    flags = "SA-53695",
    address = "Potsdam, Germany",
    pages = "255--264"
}