TY  - BOOK
AU  - OHLBACH H.J. (ED.)
TI  - LOGIC, LANGUAGE AND REASONING
SN  - 079235687X
U1  - 006.333 
PB  - LONDON : KLUWER ACADEMIC PUBLISHERS
KW  - LOGIC PROGRAMMING : REASONING
ER  -