Author: International Conference on Algebraic and Logic Programming (2nd 1990 Nancy, France)