Algebraic and logic programming 4th international conference ; proceedings (Springer, 1994)