TY - BOOK AU - Furukawa K ED - Logic programming Conference( 8th : 1989 : Tokyo ) ED - Logic programming Conference 8th TI - Logic programming : proceedings SN - 3-540-53919-0 U1 - 5.115 PY - 1989/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Logic programming ER -