@inproceedings{6292928a5d64448388055387bdfdfe81,
title = "Integrating Answer Set Programming and Satisfiability Modulo Theories",
author = "Ilkka Niemel{\"a}",
year = "2009",
doi = "10.1007/978-3-642-04238-6_3",
language = "English",
series = "Lecture Notes in Computer Science",
pages = "3--3",
booktitle = "The 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009",
note = "International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR ; Conference date: 14-09-2009 Through 18-09-2009",
}