TY  - BOOK
AU  - WADA,EIITI (ED)
TI  - LOGIC PROGRAMMING 86: PROCEEDINGS OF 5TH CONFERENCE,1986
SN  - KBCS
U1  - 901 
PY  - 1987///
CY  - BERLIN
PB  - SV
ER  -