@inproceedings{
    JNS08:lash,
    editor = "Denecker, Marc",
    author = "Janhunen, Tomi and NiemelÃ¤, Ilkka and Sevalnev, Mark",
    title = "Computing Stable Models via Reductions to Boolean Circuits and Difference Logic",
    booktitle = "Proceedings of the 2nd International Workshop on Logic and Search",
    address = "Leuven, Belgium",
    month = "November",
    flags = "MCM",
    year = "2008",
    pages = "16--30"
}