@proceedings{DBLP:conf/clima/2006,
editor = {Katsumi Inoue and
Ken Satoh and
Francesca Toni},
title = {Computational Logic in Multi-Agent Systems, 7th International
Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised
Selected and Invited Papers},
booktitle = {CLIMA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4371},
year = {2007},
isbn = {978-3-540-69618-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}