TY  - BOOK
AU  - M. Downward
TI  - Logic And Declarative Language
SN  - 9780203211991
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9780203211991
ER  -