TY  - BOOK
AU  - Naish, L
TI  - Negation and control in prolog
CY  - Berlin
ER  -