Algebraic and logic programming : proceedings - Kirchner H; International Conference on Algebraic and Logic Programming( 2nd : 1990 : Nancy,France ); International Conference on Algebraic and Logic Programming 2nd Nancy, France 1990 (Berlin Springer Verlag, 1990)
Keywords: Computer science; Logic programming