Logic programming : proceedings - Shapiro Ehud; International Conference on Logic Programming( 3rd : 1986 : London ); International Conference on Logic Programming 3rd London, 1986 (Berlin Springer Verlag, 1986)
Keywords: Computer science; Logic programming