@proceedings{
    DN:ICLP2007,
    editor = {Dahl, Ver{\'o}nica and Niemel{\"a}, Ilkka},
    publisher = "Springer",
    isbn = "978-3-540-74608-9",
    title = "Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings",
    series = "Lecture Notes in Computer Science",
    booktitle = "ICLP",
    volume = "4670",
    flags = "ACPT",
    year = "2007"
}