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, Applications of Declarative Programming and Knowledge Management, volume 3392 of Lecture Notes in Computer Science, pages 134–148. Springer-Verlag, 2005.

Suggested BibTeX entry:

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