TY  - BOOK
AU  - THAYSE(Andre) Ed
TI  - From standard logic to logic programming: Introducing a logic based approach to artificial intelligence
CY  - New York
ER  -