TY - DATA AU - Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki TI - Logic Programming '88 SN - 9783540466543 PY - 1989/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-51564-X ER -