@inproceedings{
    Niemela:LPNMR2009_ini,
    author = {Niemel{\"a}, Ilkka},
    volume = "5753",
    corerank = "A",
    url = "http://dx.doi.org/10.1007/978-3-642-04238-6_3",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009",
    title = "Integrating Answer Set Programming and Satisfiability Modulo Theories",
    responsibleauthor = {Niemel{\"a}, Ilkka},
    flags = "MCM",
    year = "2009",
    internalpdf = "Niemela-LPNMR2009.pdf",
    impactfactor = "D2",
    pages = "3"
}

AUTHORS:

URL:
http://dx.doi.org/10.1007/978-3-642-04238-6_3

INTERNAL PDF:
http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/Niemela-LPNMR2009.pdf

AUTHORS:

URL: http://dx.doi.org/10.1007/978-3-642-04238-6_3

INTERNAL PDF: http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/Niemela-LPNMR2009.pdf

URL:
http://dx.doi.org/10.1007/978-3-642-04238-6_3

INTERNAL PDF:
http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/Niemela-LPNMR2009.pdf