@book{44b97b9697904d99b510f5cfbe479d0d,
title = "Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13 2007. Proceedings",
keywords = "answer set programming, applications, constraint logic programming, logic programming, program analysis, semantics, answer set programming, applications, constraint logic programming, logic programming, program analysis, semantics, answer set programming, applications, constraint logic programming, logic programming, program analysis, semantics",
editor = "Ver{\'o}nica Dahl and Ilkka Niemel{\"a}",
year = "2007",
doi = "10.1007/978-3-540-74610-2",
language = "English",
isbn = "978-3-540-74608-9",
series = " Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
}