Algebraic and logic programming second international conference, Nancy, France, October 1 - 3, 1990 ; proceedings (Springer, 1990)