TY - BOOK AU - Furukawa K Ed. AU - Fujisaki T Ed. AU - Tanaka H Ed. ED - conference on logic programming'88 (7 : 1988 : Japan) TI - Proceedings on logic programming'88 T2 - Lecture notes in computer science; 383 U1 - D65,8(B)92L0p1,N88, M9 PY - 1989/// CY - Berlin PB - Springer-Verlag KW - Computer programming ER -