TY - DATA AU - Eiiti Wada TI - Logic Programming '86 SN - 9783540477129 PY - 1987/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-18024-9 ER -