TY - BOOK AU - Furukawa, K. Ed. AU - Tanaka, H. Ed. AU - Fujisaki, T. Ed. TI - Logic Programming '88: Proceedings, 7th Conf., Tokyo, Japan, 1988 SN - 354051564X CY - Berlin KW - Logic Programming ER -