TY  - BOOK
AU  - Narain,Sanjai
ED  - Research and Development Corporation, 
TI  - LOG(F): an optimal combination of logic programming, rewriting, and lazy evaluation 
T2  - The Rand paper series
PY  - 1988///
CY  - Santa Monica, California
PB  - Rand Corporation
KW  - Logic programming
KW  - Rewriting systems (Computer science)
N1  - Includes bibliographical references
ER  -