Algebraic and Logic Programming Second International Conference, Nancy, France, October 1-3, 1990. Proceedings | EKB DL