TY  - BOOK
AU  - Codognet, P.:
TI  - Logic Programming : Lecture Notes in Computer Science:proceedings
SN  - 0003540429352
U1  - 005.115 
PB  - Springer: Tokyo
KW  - Logic Programming
ER  -