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