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 Artificial Intelligence, pages 134–148. Springer-Verlag, 2005.

Suggested BibTeX entry:

@inproceedings{KeiNie:lnai05,
    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 Artificial Intelligence},
    title = {Solving Alternating {Boolean} Equation Systems in Answer Set Programming},
    volume = {3392},
    year = {2005},
}