@inproceedings{
    KeiNie:inap04_ini,
    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",
    url = "http://www.tcs.hut.fi/~ini/papers/",
    series = "Technical Report",
    booktitle = "Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004)",
    address = "Potsdam, Germany",
    month = "April",
    volume = "327",
    flags = "SA-53695,copy",
    year = "2004",
    pages = "255--264"
}

AUTHORS:

URL:
http://www.tcs.hut.fi/~ini/papers/

AUTHORS:

URL: http://www.tcs.hut.fi/~ini/papers/

URL:
http://www.tcs.hut.fi/~ini/papers/