CComputational Logic : Logic Programming and BeyondComputational Logic : Logic Programming and Beyondde A.C. Kakas, F. SadriEdiciones (1)Computational Logic : Logic Programming and Beyond (2003)Springer · inglés · ISBN 9783540456285