Author: Spain) International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid