Books by Spain) International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid on BookTides.