TY  - BOOK
AU  -  Alferes, José Júlio
TI  -  Reasoning With Logic Programming
SN  - 9783540614883
U1  - 006.3 
N1  - index
ER  -