LOG(F): An Optimal Combination of Logic Programming, Rewrite Rules and Lazy Evaluation (1988)

by S Narain