LOG(F) : an optimal combination of logic programming, rewriting, and lazy evaluation - Narain, Sanjai, 1957; Research and Development Corporation (Santa Monica, California : Rand Corporation, 1988)
Includes bibliographical references
Keywords: Logic programming; Rewriting systems (Computer science)