Logic programming : proceedings - Wada Eiiti; Logic programming Conference( 4th : 1985 : Tokyo ); Logic programming Conference 4th Tokyo, 1985 (Berlin Springer Verlag, 1986)
Keywords: Computer science; Logic programming