Natural Narrowing for General Term Rewriting Systems.

Santiago Escobar José Meseguer Prasanna Thati

Published in: RTA (2005)

Keyphrases

term rewriting systems
special case
logic programs
relational databases
closely related
database systems
search space
distributed databases