%0 Book
%A  edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
%T Computational Logic - CL 2000 : 
%U /book/90113434/Computational-Logic-CL-2000/