TY  - BOOK
AU  - Andrews, James H
AU  - Andrews,James H
TI  - Logic Programming:  Operational Semantics and Proof Theory
SN  - 0521432197   
U1  - Q30 
PY  - 1992///
CY  - New York
PB  - Cambridge University
N1  - includes index and biblioraphy
ER  -