Book Algebraic And Logic Programming 4Th International Conference Alp 94 Madrid Spain September 1416 1994 Proceedings