Algebraic and logic programming : proceedings - Kirchner H; International Conference on Algebraic and Logic Programming( 3rd : 1992 : Volterra ); International Conference on Algebraic and Logic Programming 3rd Volterra, 1992 (Berlin Springer Verlag, 1992)
Keywords: Algebra; Computer science; Logic programming