Reference:
Verónica Dahl and Ilkka Niemelä, editors. Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, volume 4670 of Lecture Notes in Computer Science. Springer, 2007.
Suggested BibTeX entry:
@proceedings{DN:ICLP2007,
booktitle = {ICLP},
editor = {Ver{\'o}nica Dahl and Ilkka Niemel{\"a}},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings},
volume = {4670},
year = {2007},
}
|