Logic programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
International Conference on Logic Programming (20th 2004 Saint Malo, France) Bart Demoen; Vladimir Lifschitz
Berlin Springer 2004
Acesso online. A biblioteca também possui exemplares impressos.