TY  - BOOK
AU  - Andrews, James H.
TI  - Logic Programming : Operational Semantics and Proof Theory
SN  - 0 521 43219 7
CY  - Cambridge
ER  -