Solving Alternating Boolean Equation Systems in Answer Set Programming

Reference:

Misa Keinänen and Ilkka Niemelä. Solving alternating boolean equation systems in answer set programming. In U. Geske D. Seipel, M. Hanus and O. Bartenstein, editors, Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), volume 327 of Technical Report, pages 255–264, Potsdam, Germany, April 2004. Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik.

Suggested BibTeX entry:

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