Logic programming : proceedings - Furukawa K; Logic programming Conference( 8th : 1989 : Tokyo ); Logic programming Conference 8th Tokyo, 1989 (Berlin Springer Verlag, 1989)
Keywords: Computer science; Logic programming