TY - DATA AU - Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki TI - Logic Programming '89 SN - 9783540463986 PY - 1991/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-53919-0 ER -