TY  - BOOK
AU  - CLARK(K L) & TARNLUND(S A) Ed
TI  - Logic programming
CY  - London
ER  -