TY  - BOOK
AU  - Russell, Sharri.
TI  - Practical programming logic
SN  - 0471321028
PY  - 1998///
CY  - USA
PB  - John Wiley & Sons
KW  - Formal methods (Computer science)
KW  - Logic programming
ER  -